ctf_setmodel
(void) ctf_setmodel(nfp, ctf_getmodel(fp));
(void) ctf_setmodel(fp, CTF_MODEL_LP64);
(void) ctf_setmodel(fp, CTF_MODEL_ILP32);
(void) ctf_setmodel(fp, CTF_MODEL_NATIVE);
VERIFY(ctf_setmodel(cup->cu_ctfp, CTF_MODEL_ILP32) == 0);
VERIFY(ctf_setmodel(cup->cu_ctfp, CTF_MODEL_LP64) == 0);
if (ctf_setmodel(empty, ctf_getmodel(input)) == CTF_ERR) {
if (ctf_setmodel(out, ctf_getmodel(parent)) != 0) {
(void) ctf_setmodel(dmp->dm_ctfp, model);
(void) ctf_setmodel(dmp->dm_ctfp, dtp->dt_conf.dtc_ctfmodel);
(void) ctf_setmodel(dmp->dm_ctfp, dtp->dt_conf.dtc_ctfmodel);
extern int ctf_setmodel(ctf_file_t *, int);