/* SPDX-License-Identifier: GPL-2.0-only */ #include <acpi/acpi.h> #include <mainboard/addressmap.h> void acpi_fill_fadt(acpi_fadt_t *fadt) { fadt->ARM_boot_arch |= ACPI_FADT_ARM_PSCI_COMPLIANT; } unsigned long acpi_fill_madt(unsigned long current) { return current; } uintptr_t platform_get_gicd_base(void) { return SBSA_GIC_DIST; } uintptr_t platform_get_gicr_base(void) { return SBSA_GIC_REDIST; } #define SEC_EL1_TIMER_GISV 0x1d #define NONSEC_EL1_TIMER_GSIV 0x1e #define VIRTUAL_TIMER_GSIV 0x1b #define NONSEC_EL2_TIMER_GSIV 0x1a #define SBSA_TIMER_FLAGS (ACPI_GTDT_INTERRUPT_POLARITY | ACPI_GTDT_ALWAYS_ON) void acpi_soc_fill_gtdt(acpi_gtdt_t *gtdt) { /* This value is optional if the system implements EL3 (Security Extensions). If not provided, this field must be 0xFFFFFFFFFFFFFFFF. */ gtdt->counter_block_address = UINT64_MAX; gtdt->secure_el1_interrupt = SEC_EL1_TIMER_GISV; gtdt->secure_el1_flags = SBSA_TIMER_FLAGS; gtdt->non_secure_el1_interrupt = NONSEC_EL1_TIMER_GSIV; gtdt->non_secure_el1_flags = SBSA_TIMER_FLAGS; gtdt->virtual_timer_interrupt = VIRTUAL_TIMER_GSIV; gtdt->virtual_timer_flags = SBSA_TIMER_FLAGS; gtdt->non_secure_el2_interrupt = NONSEC_EL2_TIMER_GSIV; gtdt->non_secure_el2_flags = SBSA_TIMER_FLAGS; /* This value is optional if the system implements EL3 (Security Extensions). If not provided, this field must be 0xFFFFFFFFFFFFFFF. */ gtdt->counter_read_block_address = UINT64_MAX; } #define WD_TIMER_GSIV 0x30 unsigned long acpi_soc_gtdt_add_timers(uint32_t *count, unsigned long current) { (*count)++; return acpi_gtdt_add_watchdog(current, SBSA_GWDT_REFRESH, SBSA_GWDT_CONTROL, WD_TIMER_GSIV, 0); }