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

/linux-4.4.14/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()
1475 pv_mmu_ops.pte_update = lguest_pte_update; lguest_init()
1476 pv_mmu_ops.pte_update_defer = lguest_pte_update; lguest_init()

Completed in 43 milliseconds