cx-zivuos/sources/interrupt_scheduler.c

#include "kernel.h"
#include "process.h"
#include "scheduler.h"

zv_process_t * zv_kernel_scheduler_select_interrupted(zv_kernel_t *self) {
    zv_process_t *selected = self->processes;

    while (selected != (self->processes + self->processes_count)) {
        if (selected->state == ZV_INTERRUPTED) {
            return selected;
        }

        ++selected;
    }

    return NULL;
}