[coreboot-gerrit] Change in ...coreboot[master]: sb/intel/i82371eb/fadt: Fix compilation on x86_64

[Patrick Rudolph (Code Review)]

Patrick Rudolph has uploaded this change for review. ( https://review.coreboot.org/c/coreboot/+/31471

Change subject: sb/intel/i82371eb/fadt: Fix compilation on x86_64
......................................................................

sb/intel/i82371eb/fadt: Fix compilation on x86_64

Change-Id: I8997910ff003a4d0c97656cb1e9a4342230ac51a
Signed-off-by: Patrick Rudolph 
---
M src/southbridge/intel/i82371eb/fadt.c
1 file changed, 6 insertions(+), 6 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/71/31471/1

diff --git a/src/southbridge/intel/i82371eb/fadt.c b/src/southbridge/intel/i82371eb/fadt.c
index 41ad31c..4526675 100644
--- a/src/southbridge/intel/i82371eb/fadt.c
+++ b/src/southbridge/intel/i82371eb/fadt.c
@@ -46,8 +46,8 @@
    memcpy(header->asl_compiler_id, ASLC, 4);
    header->asl_compiler_revision = 42;

-	fadt->firmware_ctrl = (u32)facs;
-	fadt->dsdt = (u32)dsdt;
+	fadt->firmware_ctrl = (uintptr_t)facs;
+	fadt->dsdt = (uintptr_t)dsdt;
    fadt->preferred_pm_profile = 0; /* unspecified */
    fadt->sci_int = 9;
    fadt->smi_cmd = 0; /* smi command port */
@@ -153,10 +153,10 @@
    fadt->reset_reg.addrh = 0x0;
    fadt->reset_value = 0;

-	fadt->x_firmware_ctl_l = (u32)facs;
-	fadt->x_firmware_ctl_h = 0;
-	fadt->x_dsdt_l = (u32)dsdt;
-	fadt->x_dsdt_h = 0;
+	fadt->x_firmware_ctl_l = (uintptr_t)facs;
+	fadt->x_firmware_ctl_h = ((uintptr_t)facs) >> 32;
+	fadt->x_dsdt_l = (uintptr_t)dsdt;
+	fadt->x_dsdt_h = ((uintptr_t)dsdt) >> 32;

fadt->x_pm1a_evt_blk.space_id = 1;
    fadt->x_pm1a_evt_blk.bit_width = fadt->pm1_evt_len * 8;