dtrace_disx86
extern int dtrace_disx86(dis86_t *x, uint_t cpu_mode);
if (dtrace_disx86(&x, mode) != 0)
if (dtrace_disx86(&d86, SIZE64) != 0) {