2912 	uint_t opcode1;		/* high nibble of 1st byte */  in dtrace_disx86()  local
3004 	if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
3007 	if (opcode1 == 0 && opcode2 == 0 &&  in dtrace_disx86()
3021 		dp = (instable_t *)&dis_distable[opcode1][opcode2];  in dtrace_disx86()
3047 		*which_prefix = (opcode1 << 4) | opcode2;  in dtrace_disx86()
3048 		if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
3061 		if (opcode1 == 0x4) {  in dtrace_disx86()
3062 			rex_prefix = (opcode1 << 4) | opcode2;  in dtrace_disx86()
3063 			if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
3065 			dp = (instable_t *)&dis_distable[opcode1][opcode2];  in dtrace_disx86()
3066 		} else if (opcode1 == 0xC &&  in dtrace_disx86()
3069 			vex_prefix = (opcode1 << 4) | opcode2;  in dtrace_disx86()
3072 	} else if (opcode1 == 0xC && (opcode2 == 0x4 || opcode2 == 0x5)) {  in dtrace_disx86()
3079 			vex_prefix = (opcode1 << 4) | opcode2;  in dtrace_disx86()
3104 		if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
3110 				    &dis_opAVX660F[(opcode1 << 4) | opcode2];  in dtrace_disx86()
3114 				    &dis_opAVXF30F[(opcode1 << 4) | opcode2];  in dtrace_disx86()
3118 				    &dis_opAVXF20F [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3122 				    &dis_opAVX0F[opcode1][opcode2];  in dtrace_disx86()
3159 		if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
3167 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3171 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3175 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3184 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3188 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3197 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3201 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3205 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3212 				    &dis_opAVX0F[opcode1][opcode2];  in dtrace_disx86()
3256 	if (rep_prefix == 0xf3 && opcode1 == 0x9 && opcode2 == 0x0) {  in dtrace_disx86()
3431 		if (opcode1 == 0xD && opcode2 >= 0x8) {  in dtrace_disx86()
3456 	    opcode1 == 0x6 && opcode2 == 0x3)  in dtrace_disx86()
5303 		else if (x->d86_mode == SIZE64 && opcode1 == 0x9 &&  in dtrace_disx86()