Symbol: virtex_machdep_init
sys/arch/evbppc/virtex/machdep.c
127
virtex_machdep_init(roundup(memsize, TLB_PG_SIZE), TLB_PG_SIZE,
sys/arch/evbppc/virtex/virtex.h
72
void virtex_machdep_init(vaddr_t, vsize_t, struct mem_region *,