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

/linux-4.1.27/arch/x86/lguest/
H A Dboot.c692 * The Guest calls lguest_set_pud to set a top-level entry and lguest_set_pmd
699 static void lguest_set_pud(pud_t *pudp, pud_t pudval) lguest_set_pud() function
1472 pv_mmu_ops.set_pud = lguest_set_pud; lguest_init()

Completed in 44 milliseconds