Searched refs:bsc9131_rdb (Results 1 – 1 of 1) sorted by relevance
41 machine_device_initcall(bsc9131_rdb, mpc85xx_common_publish_devices);52 define_machine(bsc9131_rdb) { in define_machine() argument