Symbol: ofw_discardmappings
sys/arch/shark/ofw/ofw.c
1421
ofw_discardmappings(proc0_pt_kernel[KERNEL_IMG_PTS - 1].pv_va,
sys/arch/shark/ofw/ofw.c
226
static void ofw_discardmappings(vaddr_t, vaddr_t, vsize_t);