michael_mic
michael_mic(ctx, k->wk_txmic, mp, (hdrlen + tkip.ic_header),
michael_mic(ctx, k->wk_rxmic,
static void michael_mic(struct tkip_ctx *, const uint8_t *,