diff --git a/src/acpi/acpi_gic.c b/src/acpi/acpi_gic.c
index 74e26fd694..e9ae370c4c 100644
--- a/src/acpi/acpi_gic.c
+++ b/src/acpi/acpi_gic.c
@@ -12,7 +12,7 @@ static int acpi_create_madt_one_gicc_v3(acpi_madt_gicc_t *gicc, u32 acpi_uid, u3
 	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 201d851baf..141e4d3ad8 100644
--- a/src/include/acpi/acpi.h
+++ b/src/include/acpi/acpi.h
@@ -1428,7 +1428,7 @@ _Static_assert(sizeof(acpi_spcr_t) == 88, "acpi_spcr_t must have an 88 byte size
 /* 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;