| /* SPDX-License-Identifier: GPL-2.0-or-later */ |
| |
| #include <acpi/acpi.h> |
| #include <arch/smp/mpspec.h> |
| #include <soc/acpi.h> |
| |
| unsigned long acpi_mb_madt_irqoverride(unsigned long current) |
| { |
| /* PS/2 keyboard IRQ1 override */ |
| current += acpi_create_madt_irqoverride( |
| (acpi_madt_irqoverride_t *)current, 0, 1, 1, |
| MP_IRQ_TRIGGER_LEVEL | MP_IRQ_POLARITY_HIGH); |
| |
| /* PS/2 mouse IRQ12 override */ |
| current += acpi_create_madt_irqoverride( |
| (acpi_madt_irqoverride_t *)current, 0, 0xc, 0xc, |
| MP_IRQ_TRIGGER_LEVEL | MP_IRQ_POLARITY_HIGH); |
| |
| return current; |
| } |