1/* SPDX-License-Identifier: GPL-2.0-only */ 2 3// Scope is \_SB.PCI0.LPCB 4 5Device (SIO) { 6 Name (_HID, EisaId("PNP0A05")) 7 Name (_UID, 0) 8 9// Keyboard or AUX port (a.k.a Mouse) 10#ifdef SIO_EC_ENABLE_PS2K 11 #include <drivers/pc80/pc/ps2_controller.asl> 12#endif 13} 14