SKD_MSG_STATE_IDLE
skmsg->state = SKD_MSG_STATE_IDLE;
skmsg->state = SKD_MSG_STATE_IDLE;
skmsg->state = SKD_MSG_STATE_IDLE;
skmsg->state = SKD_MSG_STATE_IDLE;
case SKD_MSG_STATE_IDLE: return ("IDLE");
ASSERT(skmsg->state == SKD_MSG_STATE_IDLE);