/* 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;
}