Symbol: bzero_page
sys/arch/arm/arm32/pmap.c
5521
bzero_page(vdstp);
sys/arch/arm/arm32/pmap.c
5579
bzero_page(cdstp);
sys/arch/arm/include/arm32/pmap.h
695
void bzero_page(vaddr_t);