acpi: Fix typos
Change-Id: Ie986c1cbbc9bcc7817dfeb04a4be86898b302987
Signed-off-by: Naresh Solanki <naresh.solanki@9elements.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/78114
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Tim Wawrzynczak <inforichland@gmail.com>
Reviewed-by: Martin L Roth <gaumless@gmail.com>
diff --git a/src/acpi/acpi_gic.c b/src/acpi/acpi_gic.c
index 74e26fd..e9ae370c 100644
--- a/src/acpi/acpi_gic.c
+++ b/src/acpi/acpi_gic.c
@@ -12,7 +12,7 @@
gicc->cpu_interface_number = 0; /* V3, no compat mode */
gicc->acpi_processor_uid = acpi_uid;
gicc->flags.enabled = 1;
- gicc->parking_protocol_persion = 0; /* Assume PSCI exclusively */
+ gicc->parking_protocol_version = 0; /* Assume PSCI exclusively */
gicc->performance_interrupt_gsiv = pi_gsiv;
gicc->parked_address = 0;
gicc->physical_base_address = 0; /* V3, no compat mode */
diff --git a/src/include/acpi/acpi.h b/src/include/acpi/acpi.h
index 201d851..141e4d3 100644
--- a/src/include/acpi/acpi.h
+++ b/src/include/acpi/acpi.h
@@ -1428,7 +1428,7 @@
/* GTDT - Generic Timer Description Table (ACPI 5.1) Version 2 */
typedef struct acpi_table_gtdt {
acpi_header_t header; /* Common ACPI table header */
- u64 counter_block_addresss;
+ u64 counter_block_address;
u32 reserved;
u32 secure_el1_interrupt;
u32 secure_el1_flags;