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