From the Privileged spec, the 2nd step of virtual Address Translation process said,
[2. Let pte be the value of the PTE at address a+va.vpn[i]×PTESIZE. (For Sv32, PTESIZE=4.)
If accessing pte violates a PMA or PMP check, raise an access exception corresponding to
the original access type.] What is the required ACCESS type for PTE entries? I thought it should only have read access for non-leaf PTE and extra write access for leaf PTE(AD). Is this correct?
