1. In a system comprising one or more processors implementing a plurality of virtual machines, a method comprising: performing a translation lookaside buffer (TLB) lookup using a first search key representing a first identifier of an operating system executed in association with a corresponding virtual machine of the plurality of virtual machines, the first search key having fewer bits than the first identifier.