Symbol: pmap_pte_init_arm11mpcore
sys/arch/arm/arm/cpufunc.c
1743
pmap_pte_init_arm11mpcore();
sys/arch/arm/include/arm32/pmap.h
723
void pmap_pte_init_arm11mpcore(void);