2891 	uint_t opcode1;		/* high nibble of 1st byte */  in dtrace_disx86()  local
2983 	if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
2986 	if (opcode1 == 0 && opcode2 == 0 &&  in dtrace_disx86()
3000 		dp = (instable_t *)&dis_distable[opcode1][opcode2];  in dtrace_disx86()
3026 		*which_prefix = (opcode1 << 4) | opcode2;  in dtrace_disx86()
3027 		if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
3040 		if (opcode1 == 0x4) {  in dtrace_disx86()
3041 			rex_prefix = (opcode1 << 4) | opcode2;  in dtrace_disx86()
3042 			if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
3044 			dp = (instable_t *)&dis_distable[opcode1][opcode2];  in dtrace_disx86()
3045 		} else if (opcode1 == 0xC &&  in dtrace_disx86()
3048 			vex_prefix = (opcode1 << 4) | opcode2;  in dtrace_disx86()
3051 	} else if (opcode1 == 0xC && (opcode2 == 0x4 || opcode2 == 0x5)) {  in dtrace_disx86()
3058 			vex_prefix = (opcode1 << 4) | opcode2;  in dtrace_disx86()
3083 		if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
3089 				    &dis_opAVX660F[(opcode1 << 4) | opcode2];  in dtrace_disx86()
3093 				    &dis_opAVXF30F[(opcode1 << 4) | opcode2];  in dtrace_disx86()
3097 				    &dis_opAVXF20F [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3101 				    &dis_opAVX0F[opcode1][opcode2];  in dtrace_disx86()
3138 		if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
3146 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3150 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3154 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3163 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3167 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3176 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3180 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3184 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3191 				    &dis_opAVX0F[opcode1][opcode2];  in dtrace_disx86()
3235 	if (rep_prefix == 0xf3 && opcode1 == 0x9 && opcode2 == 0x0) {  in dtrace_disx86()
3369 		if (opcode1 == 0xD && opcode2 >= 0x8) {  in dtrace_disx86()
3394 	    opcode1 == 0x6 && opcode2 == 0x3)  in dtrace_disx86()
5225 		else if (x->d86_mode == SIZE64 && opcode1 == 0x9 &&  in dtrace_disx86()