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