| 12345678910111213141516171819 |
- #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;
- }
|