Symbol: ofw_valloc
sys/arch/shark/ofw/ofw.c
1644
if ((va = ofw_valloc(size, size)) == -1)
sys/arch/shark/ofw/ofw.c
238
static vaddr_t ofw_valloc(vsize_t, vaddr_t);