STATE2TXT         400 drivers/char/ipmi/ipmi_bt_sm.c 		 reason, STATE2TXT, STATUS2TXT);
STATE2TXT         458 drivers/char/ipmi/ipmi_bt_sm.c 			STATE2TXT,