Symbol: task_clock_event_update
kernel/events/core.c
12385
task_clock_event_update(event, event->ctx->time.time);
kernel/events/core.c
12408
task_clock_event_update(event, time);