EVENT_TIME
ctx_sched_out(ctx, NULL, EVENT_TIME);
if (!(__load_acquire(&ctx->is_active) & EVENT_TIME))
EVENT_TIME_FROZEN = EVENT_TIME | EVENT_FROZEN,
if (ctx->is_active & EVENT_TIME) {
if (ctx->is_active & EVENT_TIME)
if (ctx->is_active & EVENT_TIME) {
if (!(is_active & EVENT_TIME)) {
ctx->is_active |= active_type | EVENT_TIME;