#include <linux/ipmi_msgdefs.h> /* for completion codes */
#include "ipmi_si_sm.h"
-#define IPMI_BT_VERSION "v31"
+#define IPMI_BT_VERSION "v32"
static int bt_debug = 0x00; /* Production value 0, see following flags */
case BT_STATE_RESET1:
reset_flags(bt);
- bt->timeout = BT_RESET_DELAY;;
+ bt->timeout = BT_RESET_DELAY;
bt->state = BT_STATE_RESET2;
break;