Symbol: pmap_map_section
sys/arch/arm/include/pmap.h
255
void pmap_map_section(vaddr_t, vaddr_t, paddr_t, int, int);
sys/arch/armv7/armv7/armv7_machdep.c
316
pmap_map_section((vaddr_t)pagedir, va, pa,