%ifndef BOOT_PS2_H
%define BOOT_PS2_H

%define INTEL_8042_IO_DATA                        0x60
%define INTEL_8042_IN_STATUS                      0x64
%define INTEL_8042_OUT_CMD                        0x64

%define INTEL_8042_STATUS_BIT_OBUF                0
%define INTEL_8042_STATUS_BIT_IBUF                1
%define INTEL_8042_STATUS_MASK_OBUF               (1 << INTEL_8042_STATUS_BIT_OBUF)
%define INTEL_8042_STATUS_MASK_IBUF               (1 << INTEL_8042_STATUS_BIT_IBUF)

%define INTEL_8042_CMD_PS2_1_DISABLE              0xad
%define INTEL_8042_CMD_PS2_1_ENABLE               0xae
%define INTEL_8042_CMD_CONTROLLER_OUT_PORT_READ   0xd0
%define INTEL_8042_CMD_CONTROLLER_OUT_PORT_WRITE  0xd1

%endif