HLVX requires execute permission "during address translation" and explicitly requires PMP read access.  Since PMP is not address translation, does HLVX require PMP execute permission in addition to read permission?

Thanks,

-Paul