force_result      236 drivers/char/ipmi/ipmi_bt_sm.c 	force_result(bt, IPMI_ERR_UNSPECIFIED);
force_result      253 drivers/char/ipmi/ipmi_bt_sm.c 		force_result(bt, IPMI_ERR_UNSPECIFIED);
force_result      442 drivers/char/ipmi/ipmi_bt_sm.c 	force_result(bt, cCode);