Symbol: pmap_pte_init_arm11
sys/arch/arm/arm/cpufunc.c
1776
pmap_pte_init_arm11();
sys/arch/arm/include/arm32/pmap.h
720
void pmap_pte_init_arm11(void);