3651 	uint_t opcode1;		/* high nibble of 1st byte */  in dtrace_disx86()  local
3755 	if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
3758 	if (opcode1 == 0 && opcode2 == 0 &&  in dtrace_disx86()
3772 		dp = (instable_t *)&dis_distable[opcode1][opcode2];  in dtrace_disx86()
3798 		*which_prefix = (opcode1 << 4) | opcode2;  in dtrace_disx86()
3799 		if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
3812 		if (opcode1 == 0x4) {  in dtrace_disx86()
3813 			rex_prefix = (opcode1 << 4) | opcode2;  in dtrace_disx86()
3814 			if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
3816 			dp = (instable_t *)&dis_distable[opcode1][opcode2];  in dtrace_disx86()
3817 		} else if (opcode1 == 0xC &&  in dtrace_disx86()
3820 			vex_prefix = (opcode1 << 4) | opcode2;  in dtrace_disx86()
3823 	} else if (opcode1 == 0xC && (opcode2 == 0x4 || opcode2 == 0x5)) {  in dtrace_disx86()
3830 			vex_prefix = (opcode1 << 4) | opcode2;  in dtrace_disx86()
3842 	if (opcode1 == 0x6 && opcode2 == 0x2) {  in dtrace_disx86()
3882 		if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
3919 				dp = &dis_opEVEX660F[(opcode1 << 4) | opcode2];  in dtrace_disx86()
3922 				dp = &dis_opEVEX660F38[(opcode1 << 4) |  in dtrace_disx86()
3926 				dp = &dis_opEVEX660F3A[(opcode1 << 4) |  in dtrace_disx86()
3936 				dp = &dis_opEVEXF30F[(opcode1 << 4) | opcode2];  in dtrace_disx86()
3945 				dp = &dis_opEVEXF20F[(opcode1 << 4) | opcode2];  in dtrace_disx86()
3952 			dp = &dis_opEVEX0F[(opcode1 << 4) | opcode2];  in dtrace_disx86()
3976 		if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
3982 				    &dis_opAVX660F[(opcode1 << 4) | opcode2];  in dtrace_disx86()
3986 				    &dis_opAVXF30F[(opcode1 << 4) | opcode2];  in dtrace_disx86()
3990 				    &dis_opAVXF20F [(opcode1 << 4) | opcode2];  in dtrace_disx86()
3994 				    &dis_opAVX0F[opcode1][opcode2];  in dtrace_disx86()
4031 		if (dtrace_get_opcode(x, &opcode1, &opcode2) != 0)  in dtrace_disx86()
4039 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
4043 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
4047 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
4056 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
4060 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
4069 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
4073 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
4077 					    [(opcode1 << 4) | opcode2];  in dtrace_disx86()
4084 				    &dis_opAVX0F[opcode1][opcode2];  in dtrace_disx86()
4131 	if (rep_prefix == 0xf3 && opcode1 == 0x9 && opcode2 == 0x0) {  in dtrace_disx86()
4310 		if (opcode1 == 0xD && opcode2 >= 0x8) {  in dtrace_disx86()
4335 	    opcode1 == 0x6 && opcode2 == 0x3)  in dtrace_disx86()
4567 			if (opcode1 == 4 && opcode2 == 0xb) {  in dtrace_disx86()
4577 			} else if (opcode1 == 3) {  in dtrace_disx86()
6441 		else if (x->d86_mode == SIZE64 && opcode1 == 0x9 &&  in dtrace_disx86()