k5_us_timeofday
krb5_error_code k5_us_timeofday(krb5_timestamp *, krb5_int32 *);
if (k5_us_timeofday(&sec, &usec) != 0)