virtex_device_probe 30 arch/powerpc/platforms/40x/virtex.c static int __init virtex_device_probe(void) virtex_device_probe 36 arch/powerpc/platforms/44x/virtex.c static int __init virtex_device_probe(void)