A processor including logic to execute an instruction to synchronize a
mapping from a physical address of a guest of a virtualization based
system (guest physical address) to a physical address of the host of the
virtualization based system (host physical address), and stored in a
translation lookaside buffer (TLB), with a corresponding mapping stored
in an extended paging table (EPT) of the virtualization based system.