bsc9131_rdb        41 arch/powerpc/platforms/85xx/bsc913x_rdb.c machine_device_initcall(bsc9131_rdb, mpc85xx_common_publish_devices);
bsc9131_rdb        52 arch/powerpc/platforms/85xx/bsc913x_rdb.c define_machine(bsc9131_rdb) {