| /kernel/trunk/arch/ia64/src/interrupt.c |
|---|
| 43,7 → 43,9 |
| #include <syscall/syscall.h> |
| #include <print.h> |
| #include <proc/scheduler.h> |
| #include <ipc/sysipc.h> |
| #define VECTORS_64_BUNDLE 20 |
| #define VECTORS_16_BUNDLE 48 |
| #define VECTORS_16_BUNDLE_START 0x5000 |
| 239,3 → 241,10 |
| break; |
| } |
| } |
| /* Reregister irq to be IPC-ready */ |
| void irq_ipc_bind_arch(__native irq) |
| { |
| panic("not implemented\n"); |
| /* TODO */ |
| } |