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. |