/branches/sparc/kernel/genarch/include/kbd/i8042.h |
---|
35,6 → 35,7 |
#ifndef KERN_I8042_H_ |
#define KERN_I8042_H_ |
#include <arch/types.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); |