RSMKA_IPC_DOWN
down_token->opcode = RSMKA_IPC_DOWN;
if (down_token->opcode == RSMKA_IPC_DOWN)
case RSMKA_IPC_DOWN: