work_token_t
work_token_t *up_token;
work_token_t *down_token;
work_token_t *up_token = &path->work_token[RSMKA_IPC_UP_INDEX];
work_token_t *down_token = &path->work_token[RSMKA_IPC_DOWN_INDEX];
work_token_t *up_token = &path->work_token[RSMKA_IPC_UP_INDEX];
work_token_t *down_token = &path->work_token[RSMKA_IPC_DOWN_INDEX];
static void enqueue_work(work_token_t *);
static boolean_t cancel_work(work_token_t *);
work_token_t *work_token;
enqueue_work(work_token_t *token)
work_token_t *tail_token;
cancel_work(work_token_t *work_token)
work_token_t *current_token;
work_token_t *prev_token = NULL;
work_token_t work_token[RSMKA_OPCODE_TYPES];
work_token_t *head; /* start of work queue */
work_token_t *tail; /* end of work queue */