For a virtual memory of a virtualized computer system in which a virtual
page is mapped to a guest physical page which is backed by a machine page
and in which a shadow page table entry directly maps the virtual page to
the machine page, reverse mappings of guest physical pages are optimized
by removing the reverse mappings of certain immutable guest physical
pages. An immutable guest physical memory page is identified, and
existing reverse mappings corresponding to the immutable guest physical
page are removed. New reverse mappings corresponding to the identified
immutable guest physical page are no longer added.