Searched refs:paravirt_release_p4d (Results 1 – 2 of 2) sorted by relevance
29 static inline void paravirt_release_p4d(unsigned long pfn) {} in paravirt_release_p4d() function
94 paravirt_release_p4d(__pa(p4d) >> PAGE_SHIFT);