DDI_MODEL_MASK
return ((model & DDI_MODEL_MASK) & ~DDI_MODEL_NATIVE);
if (((model & DDI_MODEL_MASK) == DDI_MODEL_ILP32) &&