/trunk/kernel/genarch/include/kbd/z8530.h |
37,8 → 37,8 |
#ifndef KERN_Z8530_H_ |
#define KERN_Z8530_H_ |
|
#include <typedefs.h> |
#include <ddi/irq.h> |
#include <console/chardev.h> |
#include <ipc/irq.h> |
|
extern bool z8530_belongs_to_kernel; |
|
/trunk/kernel/genarch/include/kbd/ns16550.h |
37,8 → 37,8 |
#ifndef KERN_NS16550_H_ |
#define KERN_NS16550_H_ |
|
#include <typedefs.h> |
#include <ddi/irq.h> |
#include <console/chardev.h> |
#include <ipc/irq.h> |
|
extern void ns16550_init(devno_t devno, inr_t inr, uintptr_t vaddr); |
extern void ns16550_poll(void); |
/trunk/kernel/genarch/include/kbd/i8042.h |
35,7 → 35,7 |
#ifndef KERN_I8042_H_ |
#define KERN_I8042_H_ |
|
#include <typedefs.h> |
#include <console/chardev.h> |
|
extern void i8042_init(devno_t kbd_devno, inr_t kbd_inr, devno_t mouse_devno, inr_t mouse_inr); |
extern void i8042_poll(void); |