On 12/21/2013 08:43 AM, Aurelien Jarno wrote:
> +#define P_EXT2          0x200           /* 0x0f 0x38 opcode prefix */

I'm not keen on the name.  It's not like the different extensions are numbered.


r~

Reply via email to