populate_extra_pte
pte_t *populate_extra_pte(unsigned long vaddr);
populate_extra_pte(addr);
populate_extra_pte(start);
populate_extra_pte(fix_to_virt(FIX_PARAVIRT_BOOTMAP));
ptep = populate_extra_pte((unsigned long)(p2m + pfn));
ptep = populate_extra_pte((unsigned long)(p2m + pfn));