ksi8560           172 arch/powerpc/platforms/85xx/ksi8560.c machine_device_initcall(ksi8560, mpc85xx_common_publish_devices);
ksi8560           182 arch/powerpc/platforms/85xx/ksi8560.c define_machine(ksi8560) {