GET_SEQ_FROM_MSGID 1113 drivers/char/ipmi/ipmi_msghandler.c 	GET_SEQ_FROM_MSGID(msgid, seq, seqid);
GET_SEQ_FROM_MSGID 1143 drivers/char/ipmi/ipmi_msghandler.c 	GET_SEQ_FROM_MSGID(msgid, seq, seqid);