paravirt_alloc_pud  140 arch/x86/include/asm/pgalloc.h 	paravirt_alloc_pud(mm, __pa(pud) >> PAGE_SHIFT);
paravirt_alloc_pud  146 arch/x86/include/asm/pgalloc.h 	paravirt_alloc_pud(mm, __pa(pud) >> PAGE_SHIFT);