40,6 → 40,7 |
#include <sysinfo.h> |
#include <kbd.h> |
#include <kbd_port.h> |
#include <sun.h> |
#include <sys/types.h> |
#include <ddi.h> |
|
82,7 → 83,7 |
|
static void z8530_irq_handler(ipc_callid_t iid, ipc_call_t *call); |
|
int kbd_port_init(void) |
int z8530_port_init(void) |
{ |
async_set_interrupt_received(z8530_irq_handler); |
z8530_cmds[0].addr = (void *) sysinfo_value("kbd.address.kernel") + |
94,6 → 95,14 |
return 0; |
} |
|
void z8530_port_yield(void) |
{ |
} |
|
void z8530_port_reclaim(void) |
{ |
} |
|
static void z8530_irq_handler(ipc_callid_t iid, ipc_call_t *call) |
{ |
int scan_code = IPC_GET_ARG2(*call); |