summaryrefslogtreecommitdiff
path: root/source/components/tables/tbfadt.c
diff options
context:
space:
mode:
Diffstat (limited to 'source/components/tables/tbfadt.c')
-rw-r--r--source/components/tables/tbfadt.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/source/components/tables/tbfadt.c b/source/components/tables/tbfadt.c
index 42d40a4af4d9e..3e4e522998176 100644
--- a/source/components/tables/tbfadt.c
+++ b/source/components/tables/tbfadt.c
@@ -597,8 +597,8 @@ AcpiTbCreateLocalFadt (
* The 64-bit X fields are optional extensions to the original 32-bit FADT
* V1.0 fields. Even if they are present in the FADT, they are optional and
* are unused if the BIOS sets them to zero. Therefore, we must copy/expand
- * 32-bit V1.0 fields to the 64-bit X fields if the the 64-bit X field is
- * originally zero.
+ * 32-bit V1.0 fields to the 64-bit X fields if the 64-bit X field is originally
+ * zero.
*
* For ACPI 1.0 FADTs (that contain no 64-bit addresses), all 32-bit address
* fields are expanded to the corresponding 64-bit X fields in the internal