KRB5_OS_TOFFSET_TIME
((os_ctx->os_flags & ~KRB5_OS_TOFFSET_TIME) |
if (os_ctx->os_flags & KRB5_OS_TOFFSET_TIME) {
if (os_ctx->os_flags & KRB5_OS_TOFFSET_TIME) {
os_ctx->os_flags = ((os_ctx->os_flags & ~KRB5_OS_TOFFSET_TIME) |
os_ctx->os_flags = ((os_ctx->os_flags & ~KRB5_OS_TOFFSET_TIME) |
KRB5_OS_TOFFSET_TIME);
os_ctx->os_flags &= ~(KRB5_OS_TOFFSET_VALID|KRB5_OS_TOFFSET_TIME);