A system includes a memory, a processor, a hypervisor, and a guest supervisor. The hypervisor is configured to allocate a memory page for each page table of a set of page tables and map each memory page at the same address in each page table. The memory pages store an identification value identifying the respective page table. The guest supervisor is configured to receive control from an application operating on a first page table; retrieve a first identification value associated with the first page table; store the first identification value in guest memory; switch, at a first time, from the first page table to a second page table of the set of page tables; retrieve the first identification value stored in the guest memory; and switch, at a second time, control back to the application.