virtex             36 arch/powerpc/platforms/40x/virtex.c machine_device_initcall(virtex, virtex_device_probe);
virtex             46 arch/powerpc/platforms/40x/virtex.c define_machine(virtex) {
virtex             42 arch/powerpc/platforms/44x/virtex.c machine_device_initcall(virtex, virtex_device_probe);
virtex             52 arch/powerpc/platforms/44x/virtex.c define_machine(virtex) {