Symbol: pmap_kernel_L1_addr
sys/arch/arm/arm32/stubs.c
155
cpuhdrp->PAKernelL1Table = pmap_kernel_L1_addr();
sys/arch/arm/include/arm32/pmap.h
490
uint32_t pmap_kernel_L1_addr(void);