Symbol: cpu_csrcp
sys/arch/arm/arm32/pmap.c
5724
cpu_csrcp(src_va_offset))
sys/arch/arm/arm32/pmap.c
5725
: cpu_csrcp(src_va_offset);
sys/arch/arm/arm32/pmap.c
5731
const vaddr_t vsrcp = cpu_csrcp(src_va_offset);