acpi.c: Find FACS using 64bit address fields
Signed-off-by: Arthur Heymans <arthur@aheymans.xyz> Change-Id: I406b9b470d6e76867e47cfda427b199e20cc9b32 Reviewed-on: https://review.coreboot.org/c/coreboot/+/76293 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Lean Sheng Tan <sheng.tan@9elements.com> Reviewed-by: Tim Wawrzynczak <inforichland@gmail.com> Reviewed-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
This commit is contained in:
committed by
Lean Sheng Tan
parent
d8f2dcebd8
commit
a07b09ab71
@@ -1599,7 +1599,8 @@ void *acpi_find_wakeup_vector(void)
|
|||||||
}
|
}
|
||||||
|
|
||||||
printk(BIOS_DEBUG, "FADT found at %p\n", fadt);
|
printk(BIOS_DEBUG, "FADT found at %p\n", fadt);
|
||||||
facs = (acpi_facs_t *)(uintptr_t)fadt->firmware_ctrl;
|
facs = (acpi_facs_t *)(uintptr_t)((uint64_t)fadt->x_firmware_ctl_l
|
||||||
|
| (uint64_t)fadt->x_firmware_ctl_h << 32);
|
||||||
|
|
||||||
if (facs == NULL) {
|
if (facs == NULL) {
|
||||||
printk(BIOS_ALERT,
|
printk(BIOS_ALERT,
|
||||||
|
Reference in New Issue
Block a user