michael_mic_hdr
static void michael_mic_hdr(struct sk_buff *skb, u8 * hdr)
static void michael_mic_hdr(struct michael_mic_ctx *mctx, const u8 *key,