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

/linux-4.1.27/arch/x86/lguest/
H A Dboot.c684 static void lguest_set_pte_at(struct mm_struct *mm, unsigned long addr, lguest_set_pte_at() function
775 * So the lguest_set_pte_at() and lguest_set_pmd() functions above are only
1466 pv_mmu_ops.set_pte_at = lguest_set_pte_at; lguest_init()

Completed in 42 milliseconds