|
Lines 440-448
static void acpi_tb_validate_fadt(void)
Link Here
|
| 440 |
if (address64->address && *address32 && |
440 |
if (address64->address && *address32 && |
| 441 |
(address64->address != (u64) * address32)) { |
441 |
(address64->address != (u64) * address32)) { |
| 442 |
ACPI_ERROR((AE_INFO, |
442 |
ACPI_ERROR((AE_INFO, |
| 443 |
"32/64X address mismatch in \"%s\": [%8.8X] [%8.8X%8.8X], using 64X", |
443 |
"32/64X address mismatch in \"%s\": [%8.8X] [%8.8X%8.8X], using 32", |
| 444 |
fadt_info_table[i].name, *address32, |
444 |
fadt_info_table[i].name, *address32, |
| 445 |
ACPI_FORMAT_UINT64(address64->address))); |
445 |
ACPI_FORMAT_UINT64(address64->address))); |
|
|
446 |
address64->address = (u64) *address32; |
| 446 |
} |
447 |
} |
| 447 |
} |
448 |
} |
| 448 |
} |
449 |
} |