hw/input/i8042.h

6  * SPDX-License-Identifier: MIT
13 #include "hw/input/ps2.h"
45  * + Named GPIO input "ps2-kbd-input-irq": set to 1 if the downstream PS2
47  * + Named GPIO input "ps2-mouse-input-irq": set to 1 if the downstream PS2
49  * + Named GPIO output "a20": A20 line for x86 PCs
50  * + Unnamed GPIO output 0-1: i8042 output irqs for keyboard (0) or mouse (1)
70  * + Named GPIO input "ps2-kbd-input-irq": set to 1 if the downstream PS2
72  * + Named GPIO input "ps2-mouse-input-irq": set to 1 if the downstream PS2
74  * + Unnamed GPIO output 0-1: i8042 output irqs for keyboard (0) or mouse (1)
77 #define TYPE_I8042_MMIO "i8042-mmio"
100  * ACPI v2, Table 5-10 - Fixed ACPI Description Table Boot Architecture
101  * Flags, bit offset 1 - 8042.