__vmem_map_4k_page
extern int __vmem_map_4k_page(unsigned long addr, unsigned long phys, pgprot_t prot, bool alloc);
rc = __vmem_map_4k_page(addr, phys, PAGE_KERNEL, alloc);
rc = __vmem_map_4k_page(addr, phys, prot, true);