/trunk/kernel/arch/sparc64/src/drivers/i8042.c |
---|
34,6 → 34,7 |
#include <arch/drivers/i8042.h> |
#include <genarch/i8042/i8042.h> |
#include <arch/boot/boot.h> |
#include <arch/types.h> |
#include <arch/mm/page.h> |
41,7 → 42,7 |
void kbd_init() |
{ |
kbd_virt_address = (uint8_t *) hw_map(KBD_PHYS_ADDRESS, LAST_REG); |
kbd_virt_address = (uint8_t *) hw_map(bootinfo.keyboard.addr, LAST_REG); |
i8042_init(); |
} |