Function gpt_refresh

core/timers.c:95–105

}

static void gpt_refresh(enum sched_item_id id) {
    uint64_t next_event;
    sched_set_item_clock(id, CLOCK_CPU);
    sched_set(id, 0); /* dummy activate to current cycle */
    next_event = gpt_next_event(id);
    if (next_event) {
        sched_set(id, next_event);
    } else {
        sched_clear(id);
    }
}

static void gpt_event(enum sched_item_id id) {
    uint64_t next_event;