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