Opóźnione wywoływanie w funkcji update_process_times()

Przy każdym takcie funkcja obsługi przerwania IRQ0 do_timer wywołuje funkcję update_process_times, której wycinek kodu został poniżej zamieszczoy:

if (--p->counter <= 0) {
    p->counter = 0;
    p->need_resched = 1;
}

Gdy procesowi skończyl się przyznany mu kwant czasu ustawiana jest flaga need_resched w deskryptorze procesu.

Funkcje wymienione w tym punkcie są zdefiniowane w pliku kernel/timer.c