Searched refs:release_p4d (Results 1 – 3 of 3) sorted by relevance
177 .mmu.release_p4d = paravirt_nop,
144 void (*release_p4d)(unsigned long pfn); member
332 PVOP_VCALL1(pv_ops, mmu.release_p4d, pfn); in paravirt_release_p4d()