|
@@ -449,8 +449,8 @@ void acpi_tb_create_local_fadt(struct acpi_table_header *table, u32 length)
|
|
* The 64-bit X fields are optional extensions to the original 32-bit FADT
|
|
* 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
|
|
* 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
|
|
* 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
|
|
* 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
|
|
* fields are expanded to the corresponding 64-bit X fields in the internal
|