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

/linux-4.1.27/arch/x86/lguest/
H A Dboot.c544 /* See lguest_set_pte() below. */
736 static void lguest_set_pte(pte_t *ptep, pte_t pteval) lguest_set_pte() function
1465 pv_mmu_ops.set_pte = lguest_set_pte; lguest_init()

Completed in 46 milliseconds