Symbol: pmap_map_entry
sys/arch/arm/include/pmap.h
256
void pmap_map_entry(vaddr_t, vaddr_t, paddr_t, int, int);
sys/arch/armv7/armv7/armv7_machdep.c
669
pmap_map_entry(l1pagetable, vector_page, systempage.pv_pa,