dtrace_disx86
extern int dtrace_disx86(dis86_t *x, uint_t cpu_mode);
if (dtrace_disx86(&dhx->dhx_dis, dhx->dhx_mode) != 0)
if (dtrace_disx86(&x86dis, cpu_mode) != 0)
if (dtrace_disx86(&x, mode) != 0)