p1025_rdb 95 arch/powerpc/platforms/85xx/mpc85xx_rdb.c if (machine_is(p1025_rdb)) { p1025_rdb 138 arch/powerpc/platforms/85xx/mpc85xx_rdb.c machine_arch_initcall(p1025_rdb, mpc85xx_common_publish_devices); p1025_rdb 258 arch/powerpc/platforms/85xx/mpc85xx_rdb.c define_machine(p1025_rdb) {