Home
last modified time | relevance | path

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

/linux-4.4.14/drivers/lguest/
Dpage_tables.c242 static void release_pte(pte_t pte) in release_pte() function
507 release_pte(*spte); in demand_page()
596 release_pte(ptepage[i]); in release_pmd()
640 release_pte(ptepage[i]); in release_pgd()
949 release_pte(*spte); in __guest_set_pte()
1149 release_pte(*pte); in remove_switcher_percpu_map()
1153 release_pte(*pte); in remove_switcher_percpu_map()
/linux-4.4.14/arch/x86/kernel/
Dparavirt.c438 .release_pte = paravirt_nop,
/linux-4.4.14/arch/x86/include/asm/
Dparavirt_types.h269 void (*release_pte)(unsigned long pfn); member
Dparavirt.h357 PVOP_VCALL1(pv_mmu_ops.release_pte, pfn); in paravirt_release_pte()
/linux-4.4.14/arch/x86/xen/
Dmmu.c2404 pv_mmu_ops.release_pte = xen_release_pte; in xen_post_allocator_init()
2445 .release_pte = xen_release_pte_init,