tavor_sys_dis_cmd_post
status = tavor_sys_dis_cmd_post(state, TAVOR_CMD_NOSLEEP_SPIN);
if (tavor_sys_dis_cmd_post(state, TAVOR_CMD_NOSLEEP_SPIN) !=
int tavor_sys_dis_cmd_post(tavor_state_t *state, uint_t sleepflag);