Symbol: virtex_machdep_init
sys/arch/evbppc/virtex/design_gsrd1.c
412
virtex_machdep_init(vaddr_t endva, vsize_t maxsz, struct mem_region *phys,
sys/arch/evbppc/virtex/design_gsrd2.c
461
virtex_machdep_init(vaddr_t endva, vsize_t maxsz, struct mem_region *phys,