Searched refs:__guest_set_pte (Results 1 - 1 of 1) sorted by relevance

/linux-4.1.27/drivers/lguest/
H A Dpage_tables.c932 static void __guest_set_pte(struct lg_cpu *cpu, int idx, __guest_set_pte() function
1006 __guest_set_pte(cpu, i, vaddr, gpte); guest_set_pte()
1012 __guest_set_pte(cpu, pgdir, vaddr, gpte); guest_set_pte()

Completed in 80 milliseconds