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