Home
last modified time | relevance | path

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

/linux-4.1.27/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()
1479 pv_mmu_ops.pte_update = lguest_pte_update; in lguest_init()
1480 pv_mmu_ops.pte_update_defer = lguest_pte_update; in lguest_init()