phys_p4d_init     743 arch/x86/mm/init_64.c 			paddr_last = phys_p4d_init(p4d, __pa(vaddr),
phys_p4d_init     751 arch/x86/mm/init_64.c 		paddr_last = phys_p4d_init(p4d, __pa(vaddr), __pa(vaddr_end),