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);