paravirt_alloc_pte   65 arch/x86/include/asm/pgalloc.h 	paravirt_alloc_pte(mm, __pa(pte) >> PAGE_SHIFT);
paravirt_alloc_pte   74 arch/x86/include/asm/pgalloc.h 	paravirt_alloc_pte(mm, pfn);