Signed-off-by: Kevin O'Connor <kevin@koconnor.net>
void
i8042_reboot(void)
{
+ if (! CONFIG_PS2PORT)
+ return;
int i;
for (i=0; i<10; i++) {
i8042_wait_write();
int
ps2_kbd_command(int command, u8 *param)
{
+ if (! CONFIG_PS2PORT)
+ return -1;
return ps2_command(0, command, param);
}
int
ps2_mouse_command(int command, u8 *param)
{
+ if (! CONFIG_PS2PORT)
+ return -1;
+
// Update ps2ctr for mouse enable/disable.
if (command == PSMOUSE_CMD_ENABLE || command == PSMOUSE_CMD_DISABLE) {
u16 ebda_seg = get_ebda_seg();