paravirt_alloc_p4d  178 arch/x86/include/asm/pgalloc.h 	paravirt_alloc_p4d(mm, __pa(p4d) >> PAGE_SHIFT);
paravirt_alloc_p4d  186 arch/x86/include/asm/pgalloc.h 	paravirt_alloc_p4d(mm, __pa(p4d) >> PAGE_SHIFT);