Home
last modified time | relevance | path

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

/linux-4.4.14/arch/x86/lguest/
Dboot.c671 static void lguest_pte_update(struct mm_struct *mm, unsigned long addr, in lguest_pte_update() function
688 lguest_pte_update(mm, addr, ptep); in lguest_set_pte_at()
760 lguest_pte_update(mm, addr, ptep); in lguest_pte_clear()
1475 pv_mmu_ops.pte_update = lguest_pte_update; in lguest_init()
1476 pv_mmu_ops.pte_update_defer = lguest_pte_update; in lguest_init()