Searched refs:__guest_set_pte (Results 1 – 1 of 1) sorted by relevance
932 static void __guest_set_pte(struct lg_cpu *cpu, int idx, in __guest_set_pte() function1006 __guest_set_pte(cpu, i, vaddr, gpte); in guest_set_pte()1012 __guest_set_pte(cpu, pgdir, vaddr, gpte); in guest_set_pte()