Patent ID: 8688953

Claim:
A method for allowing a guest operating system (guest OS) to modify an entry in a main TLB (Translation Lookahead Buffer), said method comprising: providing, by an application, a guest virtual address (GVA) to said main TLB; upon finding an entry in said main TLB matching with said GVA, providing a corresponding host physical address (HPA) to said application; upon finding no matching entry in said main TLB, issuing a guest TLB miss exception to said guest OS; looking up, by said guest OS, a guest page table in order to find said matching entry in said guest page table; and upon finding said matching entry in said guest page table, issuing, by said guest OS, an instruction to modify an entry in said main TLB in order for said modified entry to include a mapping of a <said GVA, a guest physical address (GPA)>tuple, said <said GVA, said GPA>tuple indicating that said GVA corresponds to said GPA; upon receiving said issued instruction, looking for a first entry, in a host TLB, matching with said GPA, said first entry including a mapping of a <said GPA, said HPA>tuple, said <said GPA, said HPA>tuple indicating that said GPA corresponds to said HPA; upon finding no entry matching with said GPA in said host TLB, looking up a host page table to find said entry matching with said GPA; upon finding said entry matching with said GPA in said host page table, providing said entry matching with said GPA to said host TLB; and creating said entry matching with said GPA in said host TLB.