drain_BMC2HOST    473 drivers/char/ipmi/ipmi_bt_sm.c 		drain_BMC2HOST(bt);
drain_BMC2HOST    578 drivers/char/ipmi/ipmi_bt_sm.c 		drain_BMC2HOST(bt);
drain_BMC2HOST    596 drivers/char/ipmi/ipmi_bt_sm.c 		drain_BMC2HOST(bt);