1#include <acpi/lapic.h>
2#include <irq/irq.h>
3#include <sch/sched.h>
4
5enum irq_result scheduler_timer_isr(void *ctx, uint8_t vector,
6 struct irq_context *rsp) {
7 scheduler_mark_self_needs_resched(true);
8 (void) ctx, (void) vector, (void) rsp;
9 return IRQ_HANDLED;
10}
11