| 39,7 → 39,6 |
|---|
| #include <typedefs.h> |
| #include <arch/types.h> |
| #include <debug.h> |
| #include <ipc/sysipc.h> |
| #include <arch/asm.h> |
| #include <arch/barrier.h> |
| #include <print.h> |
| 48,12 → 47,6 |
|---|
| #include <config.h> |
| #include <synch/spinlock.h> |
| |
| /* |
| * To be removed once we get rid of the dependency in ipc_irq_bind_arch(). |
| */ |
| #include <arch/drivers/kbd.h> |
| #include <genarch/kbd/z8530.h> |
| |
| /** Register Interrupt Level Handler. |
| * |
| * @param n Interrupt Level (1 - 15). |
| 67,15 → 60,6 |
|---|
| exc_register(n - 1, name, f); |
| } |
| |
| /* Reregister irq to be IPC-ready */ |
| void irq_ipc_bind_arch(unative_t irq) |
| { |
| #ifdef CONFIG_Z8530 |
| if (kbd_type == KBD_Z8530) |
| z8530_belongs_to_kernel = false; |
| #endif |
| } |
| |
| /** Process hardware interrupt. |
| * |
| * @param n Ignored. |