4090 	uint_t opcode1;		/* high nibble of 1st byte */  in dtrace_disx86()  local
4195 	if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
4198 	if (opcode1 == 0 && opcode2 == 0 &&  in dtrace_disx86()
4212 		dp = (instable_t *)&dis_distable[opcode1][opcode2];  in dtrace_disx86()
4238 		*which_prefix = (opcode1 << 4) | opcode2;  in dtrace_disx86()
4239 		if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
4252 		if (opcode1 == 0x4) {  in dtrace_disx86()
4253 			rex_prefix = (opcode1 << 4) | opcode2;  in dtrace_disx86()
4254 			if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
4256 			dp = (instable_t *)&dis_distable[opcode1][opcode2];  in dtrace_disx86()
4257 		} else if (opcode1 == 0xC &&  in dtrace_disx86()
4260 			vex_prefix = (opcode1 << 4) | opcode2;  in dtrace_disx86()
4263 	} else if (opcode1 == 0xC && (opcode2 == 0x4 || opcode2 == 0x5)) {  in dtrace_disx86()
4270 			vex_prefix = (opcode1 << 4) | opcode2;  in dtrace_disx86()
4282 	if (opcode1 == 0x6 && opcode2 == 0x2) {  in dtrace_disx86()
4322 		if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
4365 				dp = &dis_opEVEX660F[(opcode1 << 4) | opcode2];  in dtrace_disx86()
4368 				dp = &dis_opEVEX660F38[(opcode1 << 4) |  in dtrace_disx86()
4372 				dp = &dis_opEVEX660F3A[(opcode1 << 4) |  in dtrace_disx86()
4382 				dp = &dis_opEVEXF30F[(opcode1 << 4) | opcode2];  in dtrace_disx86()
4385 				dp = &dis_opEVEXF30F38[(opcode1 << 4) |  in dtrace_disx86()
4395 				dp = &dis_opEVEXF20F[(opcode1 << 4) | opcode2];  in dtrace_disx86()
4398 				dp = &dis_opEVEXF20F38[(opcode1 << 4) |  in dtrace_disx86()
4406 			dp = &dis_opEVEX0F[(opcode1 << 4) | opcode2];  in dtrace_disx86()
4430 		if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
4436 				    &dis_opAVX660F[(opcode1 << 4) | opcode2];  in dtrace_disx86()
4440 				    &dis_opAVXF30F[(opcode1 << 4) | opcode2];  in dtrace_disx86()
4444 				    &dis_opAVXF20F [(opcode1 << 4) | opcode2];  in dtrace_disx86()
4448 				    &dis_opAVX0F[opcode1][opcode2];  in dtrace_disx86()
4485 		if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
4493 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
4497 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
4501 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
4510 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
4514 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
4523 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
4527 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
4531 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
4538 				    &dis_opAVX0F[opcode1][opcode2];  in dtrace_disx86()
4585 	if (rep_prefix == 0xf3 && opcode1 == 0x9 && opcode2 == 0x0) {  in dtrace_disx86()
4803 		if (opcode1 == 0xD && opcode2 >= 0x8) {  in dtrace_disx86()
4829 	    opcode1 == 0x6 && opcode2 == 0x3)  in dtrace_disx86()
5063 			if (opcode1 == 4 && opcode2 == 0xb) {  in dtrace_disx86()
5073 			} else if (opcode1 == 3) {  in dtrace_disx86()
7092 		else if (x->d86_mode == SIZE64 && opcode1 == 0x9 &&  in dtrace_disx86()