| 36,6 → 36,7 |
|---|
| #include <arch/trap/interrupt.h> |
| #include <interrupt.h> |
| #include <arch/drivers/fhc.h> |
| #include <arch/drivers/kbd.h> |
| #include <typedefs.h> |
| #include <arch/types.h> |
| #include <debug.h> |
| 62,7 → 63,8 |
|---|
| void irq_ipc_bind_arch(unative_t irq) |
| { |
| #ifdef CONFIG_Z8530 |
| z8530_belongs_to_kernel = false; |
| if (kbd_type == KBD_Z8530) |
| z8530_belongs_to_kernel = false; |
| #endif |
| } |
| |
| 77,6 → 79,8 |
|---|
| switch (data0) { |
| #ifdef CONFIG_Z8530 |
| case Z8530_INTRCV_DATA0: |
| if (kbd_type != KBD_Z8530) |
| break; |
| /* |
| * So far, we know we got this interrupt through the FHC. |
| * Since we don't have enough information about the FHC and |