Validating virtual address translation by virtual machine monitor utilizing address validation structure to validate tentative guest physical address and aborting based on flag in extended page table requiring an expected guest physical address in the address validation structure

A method, comprising:

• receiving, by a page miss handler of a computer system, a guest virtual address associated with a memory access operation by a virtual machine managed by the virtual machine manager;
• determining, based on a page table entry, a tentative guest physical address corresponding to the guest virtual address;
• responsive to successfully identifying, in an address validation data structure, an entry referenced by the guest virtual address, validating the tentative guest physical address using the entry referenced by the guest virtual address;
• responsive to failing to identify the entry referenced by the guest virtual address, analyzing a flag comprised by an extended page table entry mapping the tentative guest physical address to a host physical address;
• and
• responsive to determining, based on a value of the flag, that the entry of the address validation data structure is required, and the entry does not exist, signaling an exit to the virtual machine.