2 #include <lunaix/spike.h>
4 #include <sys/vectors.h>
6 struct intc_context arch_intc_ctx;
9 intc_irq_attach(int irq, int iv, cpu_t dest, u32_t flags)
11 arch_intc_ctx.irq_attach(&arch_intc_ctx, irq, iv, dest, flags);
15 intc_notify_eoi(cpu_t id, int iv)
17 arch_intc_ctx.notify_eoi(&arch_intc_ctx, id, iv);
21 intc_notify_eos(cpu_t id)
23 intc_notify_eoi(id, LUNAIX_SCHED);