According to the official document, all physical memory pages under higher VMPL are inaccessible, unless explicitly granted access with rmpadjust. However, I can not find even one rmpadjust instruction either in the linux or in the linux-svsm project. All I know is that the physical memory is accepted by guest OS with pvalidate.However, no VMPL level is associated with this instruction. The VMSA require rmpadjust as well. So I wonder how the access rights are granted to guest OS without explicit rmpadjust.
