INAT_LSTPFX_MAX
if ((attr & INAT_PFX_MASK) > INAT_LSTPFX_MAX)
if (vex_m > X86_VEX_M_MAX || vex_p > INAT_LSTPFX_MAX)
if ((attr & INAT_PFX_MASK) > INAT_LSTPFX_MAX)
if (vex_m > X86_VEX_M_MAX || vex_p > INAT_LSTPFX_MAX)