Searched refs:do_set_pte (Results 1 – 1 of 1) sorted by relevance
500 static void do_set_pte(struct lg_cpu *cpu, int idx, in do_set_pte() function545 do_set_pte(cpu, i, vaddr, gpte); in guest_set_pte()551 do_set_pte(cpu, pgdir, vaddr, gpte); in guest_set_pte()