2924 	uint_t opcode1 = 0;		/* high nibble of 1st byte */  in dtrace_disx86()  local
3016 	if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
3019 	if (opcode1 == 0 && opcode2 == 0 &&  in dtrace_disx86()
3033 		dp = (instable_t *)&dis_distable[opcode1][opcode2];  in dtrace_disx86()
3059 		*which_prefix = (opcode1 << 4) | opcode2;  in dtrace_disx86()
3060 		if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
3073 		if (opcode1 == 0x4) {  in dtrace_disx86()
3074 			rex_prefix = (opcode1 << 4) | opcode2;  in dtrace_disx86()
3075 			if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
3077 			dp = (instable_t *)&dis_distable[opcode1][opcode2];  in dtrace_disx86()
3078 		} else if (opcode1 == 0xC &&  in dtrace_disx86()
3081 			vex_prefix = (opcode1 << 4) | opcode2;  in dtrace_disx86()
3084 	} else if (opcode1 == 0xC && (opcode2 == 0x4 || opcode2 == 0x5)) {  in dtrace_disx86()
3091 			vex_prefix = (opcode1 << 4) | opcode2;  in dtrace_disx86()
3116 		if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
3122 				    &dis_opAVX660F[(opcode1 << 4) | opcode2];  in dtrace_disx86()
3126 				    &dis_opAVXF30F[(opcode1 << 4) | opcode2];  in dtrace_disx86()
3130 				    &dis_opAVXF20F [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3134 				    &dis_opAVX0F[opcode1][opcode2];  in dtrace_disx86()
3171 		if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
3179 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3183 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3187 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3196 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3200 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3209 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3213 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3217 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3224 				    &dis_opAVX0F[opcode1][opcode2];  in dtrace_disx86()
3268 	if (rep_prefix == 0xf3 && opcode1 == 0x9 && opcode2 == 0x0) {  in dtrace_disx86()
3443 		if (opcode1 == 0xD && opcode2 >= 0x8) {  in dtrace_disx86()
3468 	    opcode1 == 0x6 && opcode2 == 0x3)  in dtrace_disx86()
5328 		else if (x->d86_mode == SIZE64 && opcode1 == 0x9 &&  in dtrace_disx86()