Searched refs:p4d_free (Results 1 – 3 of 3) sorted by relevance
74 static inline void p4d_free(struct mm_struct *mm, p4d_t *p4d) in p4d_free() function
183 static inline void p4d_free(struct mm_struct *mm, p4d_t *p4d) in p4d_free() function
184 p4d_free(&init_mm, p4d); in efi_call_phys_epilog()