Symbol: bzero_page
sys/arch/arm/arm/pmap7.c
1904
bzero_page(cdstp);
sys/arch/arm/arm/pmap7.c
423
extern void bzero_page(vaddr_t);