ctf_add_encoded
return (ctf_add_encoded(fp, flag, name, ep, CTF_K_INTEGER));
return (ctf_add_encoded(fp, flag, name, ep, CTF_K_FLOAT));
extern ctf_id_t ctf_add_encoded(ctf_file_t *, uint_t, const char *,
id = ctf_add_encoded(cup->cu_ctfp, isroot, name, &enc, kind);
ret = ctf_add_encoded(cmp->cm_out, flags, name, &en,