diff options
| author | Jung-uk Kim <jkim@FreeBSD.org> | 2017-05-31 22:40:24 +0000 |
|---|---|---|
| committer | Jung-uk Kim <jkim@FreeBSD.org> | 2017-05-31 22:40:24 +0000 |
| commit | c457a42be4fca72c51fdca569271b62213d01a37 (patch) | |
| tree | 0ce624183fb74a6ec5d2260e6904585800e8c4d8 /source/components/tables/tbfadt.c | |
| parent | 65c600c804e5a81af3a34d461312027000738994 (diff) | |
Notes
Diffstat (limited to 'source/components/tables/tbfadt.c')
| -rw-r--r-- | source/components/tables/tbfadt.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/source/components/tables/tbfadt.c b/source/components/tables/tbfadt.c index 42d40a4af4d9..3e4e52299817 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 |