ddi_exit_critical
ddi_exit_critical(ddic);
ddi_exit_critical(ddic);
ddi_exit_critical(ddic);
ddi_exit_critical(ddic);
ddi_exit_critical(ddic);
ddi_exit_critical(ddic);
ddi_exit_critical(ddic);
ddi_exit_critical(ddic);
ddi_exit_critical(unsigned int);
ddi_exit_critical(ddic);
ddi_exit_critical(ddic);
ddi_exit_critical(ddic);
(void) ddi_exit_critical(s);
ddi_exit_critical(spl);
ddi_exit_critical(spl);
ddi_exit_critical(spl); /* unblock interrupt */
ddi_exit_critical(spl); /* unblock interrupts */
ddi_exit_critical(spl); /* unblock interrupt */
ddi_exit_critical(s);
ddi_exit_critical(s);
#define UNLOCK_TRACE(x) ddi_exit_critical((uint_t)x)
ddi_exit_critical(spl_old);