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

/linux-4.1.27/arch/x86/lguest/
H A Dboot.c671 static void lguest_pte_update(struct mm_struct *mm, unsigned long addr, lguest_pte_update() function
688 lguest_pte_update(mm, addr, ptep); lguest_set_pte_at()
760 lguest_pte_update(mm, addr, ptep); lguest_pte_clear()
1479 pv_mmu_ops.pte_update = lguest_pte_update; lguest_init()
1480 pv_mmu_ops.pte_update_defer = lguest_pte_update; lguest_init()

Completed in 36 milliseconds