DOF_ID_MODEL
switch (h.dofh_ident[DOF_ID_MODEL]) {
h.dofh_ident[DOF_ID_MODEL]);
dof->dofh_ident[DOF_ID_MODEL] = DOF_MODEL_NATIVE;
hp->dofh_ident[DOF_ID_MODEL] = DOF_MODEL_LP64;
hp->dofh_ident[DOF_ID_MODEL] = DOF_MODEL_ILP32;
dof->dofh_ident[DOF_ID_MODEL] = DOF_MODEL_NATIVE;
if (dof->dofh_ident[DOF_ID_MODEL] != DOF_MODEL_ILP32 &&
dof->dofh_ident[DOF_ID_MODEL] != DOF_MODEL_LP64) {