BACKGROUND This invention relates to virtual machines. In particular, the invention relates to translation lookaside buffers that support a virtual-machine system. A virtual-machine system is a computer system that includes a virtual machine monitor…