__ctx_time_update
__ctx_time_update(cpuctx, ctx, false, 0);
__ctx_time_update(cpuctx, ctx, ctx == &cpuctx->ctx, event_type);