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