p4d_free          187 arch/x86/platform/efi/efi_64.c 		p4d_free(&init_mm, p4d);
p4d_free          353 mm/kasan/init.c 	p4d_free(&init_mm, (p4d_t *)page_to_virt(pgd_page(*pgd)));
p4d_free         4059 mm/memory.c    		p4d_free(mm, new);