ctf_type_cmp
return (ctf_type_cmp(aidp->mci_fp, aidp->mci_id,
if (ctf_type_cmp(lfp, ltype, rfp, rtype) == 0)
ctf_type_cmp(dtt.dtt_ctfp, dtt.dtt_type,
ctf_type_cmp(dtt.dtt_ctfp, dtt.dtt_type,
if (ctf_type_cmp(dnp->dn_ctfp, dnp->dn_type,
if (ctf_type_cmp(old_argv->dn_ctfp, old_argv->dn_type,
extern int ctf_type_cmp(ctf_file_t *, ctf_id_t, ctf_file_t *, ctf_id_t);