2908 	uint_t opcode1;		/* high nibble of 1st byte */  in dtrace_disx86()  local
3000 	if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
3003 	if (opcode1 == 0 && opcode2 == 0 &&  in dtrace_disx86()
3017 		dp = (instable_t *)&dis_distable[opcode1][opcode2];  in dtrace_disx86()
3043 		*which_prefix = (opcode1 << 4) | opcode2;  in dtrace_disx86()
3044 		if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
3057 		if (opcode1 == 0x4) {  in dtrace_disx86()
3058 			rex_prefix = (opcode1 << 4) | opcode2;  in dtrace_disx86()
3059 			if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
3061 			dp = (instable_t *)&dis_distable[opcode1][opcode2];  in dtrace_disx86()
3062 		} else if (opcode1 == 0xC &&  in dtrace_disx86()
3065 			vex_prefix = (opcode1 << 4) | opcode2;  in dtrace_disx86()
3068 	} else if (opcode1 == 0xC && (opcode2 == 0x4 || opcode2 == 0x5)) {  in dtrace_disx86()
3075 			vex_prefix = (opcode1 << 4) | opcode2;  in dtrace_disx86()
3100 		if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
3106 				    &dis_opAVX660F[(opcode1 << 4) | opcode2];  in dtrace_disx86()
3110 				    &dis_opAVXF30F[(opcode1 << 4) | opcode2];  in dtrace_disx86()
3114 				    &dis_opAVXF20F [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3118 				    &dis_opAVX0F[opcode1][opcode2];  in dtrace_disx86()
3155 		if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
3163 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3167 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3171 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3180 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3184 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3193 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3197 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3201 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3208 				    &dis_opAVX0F[opcode1][opcode2];  in dtrace_disx86()
3252 	if (rep_prefix == 0xf3 && opcode1 == 0x9 && opcode2 == 0x0) {  in dtrace_disx86()
3424 		if (opcode1 == 0xD && opcode2 >= 0x8) {  in dtrace_disx86()
3449 	    opcode1 == 0x6 && opcode2 == 0x3)  in dtrace_disx86()
5293 		else if (x->d86_mode == SIZE64 && opcode1 == 0x9 &&  in dtrace_disx86()