int2KDCOptions    254 source4/heimdal/lib/krb5/get_for_creds.c     kdc_flags.b = int2KDCOptions(flags);
int2KDCOptions    910 source4/heimdal/lib/krb5/get_in_tkt.c     opts = int2KDCOptions(options);