KG_TOK_MIC_MSG
message_token, KG_TOK_MIC_MSG));
toktype == KG_TOK_MIC_MSG);
iov, iov_count, KG_TOK_MIC_MSG);
KG_TOK_MIC_MSG);
} else if (toktype == KG_TOK_MIC_MSG) {
} else if (toktype == KG_TOK_MIC_MSG) {
} else if (toktype == KG_TOK_MIC_MSG) {
case KG_TOK_MIC_MSG:
case KG_TOK_MIC_MSG:
iov, iov_count, KG_TOK_MIC_MSG);
if (toktype == KG_TOK_MIC_MSG)
if (toktype == KG_TOK_MIC_MSG) {