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);