in common/ipmi/ipmb.c [1056:1108]
static void init_ipmb_slave_dev(void)
{
#ifdef DEV_IPMB_0
dev_ipmb[0] = device_get_binding("IPMB_0");
if (i2c_slave_driver_register(dev_ipmb[0]))
printk("IPMB0: Slave Device driver not found.");
#endif
#ifdef DEV_IPMB_1
dev_ipmb[1] = device_get_binding("IPMB_1");
if (i2c_slave_driver_register(dev_ipmb[1]))
printk("IPMB: Slave Device driver not found.");
#endif
#ifdef DEV_IPMB_2
dev_ipmb[2] = device_get_binding("IPMB_2");
if (i2c_slave_driver_register(dev_ipmb[2]))
printk("IPMB2: Slave Device driver not found.");
#endif
#ifdef DEV_IPMB_3
dev_ipmb[3] = device_get_binding("IPMB_3");
if (i2c_slave_driver_register(dev_ipmb[3]))
printk("IPMB3: Slave Device driver not found.");
#endif
#ifdef DEV_IPMB_4
dev_ipmb[4] = device_get_binding("IPMB_4");
if (i2c_slave_driver_register(dev_ipmb[4]))
printk("IPMB4: Slave Device driver not found.");
#endif
#ifdef DEV_IPMB_5
dev_ipmb[5] = device_get_binding("IPMB_5");
if (i2c_slave_driver_register(dev_ipmb[5]))
printk("IPMB5: Slave Device driver not found.");
#endif
#ifdef DEV_IPMB_6
dev_ipmb[6] = device_get_binding("IPMB_6");
if (i2c_slave_driver_register(dev_ipmb[6]))
printk("IPMB6: Slave Device driver not found.");
#endif
#ifdef DEV_IPMB_7
dev_ipmb[7] = device_get_binding("IPMB_7");
if (i2c_slave_driver_register(dev_ipmb[7]))
printk("IPMB7: Slave Device driver not found.");
#endif
#ifdef DEV_IPMB_8
dev_ipmb[8] = device_get_binding("IPMB_8");
if (i2c_slave_driver_register(dev_ipmb[8]))
printk("IPMB8: Slave Device driver not found.");
#endif
#ifdef DEV_IPMB_9
dev_ipmb[9] = device_get_binding("IPMB_9");
if (i2c_slave_driver_register(dev_ipmb[9]))
printk("IPMB9: Slave Device driver not found.");
#endif
}