From fff762ebb2aab4d4d523ee195fad8da2fee3c453 Mon Sep 17 00:00:00 2001
From: Arthur Heymans <arthur@aheymans.xyz>
Date: Thu, 28 Mar 2024 14:42:50 +0100
Subject: mb/{bd/bd_egs, iventec/transformers}: Fix building with x86_64

This fixes a warning about casting an integer to a pointer, where the
integer has a different size than the pointer (UINT32).

Change-Id: Iceb7cb1dbdc6f5397823a1737e3baeac96966a78
Signed-off-by: Arthur Heymans <arthur@aheymans.xyz>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/81559
Reviewed-by: Lean Sheng Tan <sheng.tan@9elements.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
---
 src/mainboard/bytedance/bd_egs/romstage.c      | 3 ++-
 src/mainboard/inventec/transformers/romstage.c | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

(limited to 'src/mainboard')

diff --git a/src/mainboard/bytedance/bd_egs/romstage.c b/src/mainboard/bytedance/bd_egs/romstage.c
index e010867b74..f33e74e99f 100644
--- a/src/mainboard/bytedance/bd_egs/romstage.c
+++ b/src/mainboard/bytedance/bd_egs/romstage.c
@@ -5,13 +5,14 @@
 #include <defs_cxl.h>
 #include <defs_iio.h>
 #include <sprsp_bd_iio.h>
+#include <stdint.h>
 
 static void mainboard_config_iio(FSPM_UPD *mupd)
 {
 	int port;
 
 	UPD_IIO_PCIE_PORT_CONFIG *PciePortConfig =
-		(UPD_IIO_PCIE_PORT_CONFIG *)mupd->FspmConfig.IioPcieConfigTablePtr;
+		(UPD_IIO_PCIE_PORT_CONFIG *)(uintptr_t)mupd->FspmConfig.IioPcieConfigTablePtr;
 
 	/* Socket0: Array bd_iio_pci_port_skt0 only configures DMI, IOU0 ~ IOU4, the rest will be left zero */
 	for (port = 0; port < ARRAY_SIZE(bd_iio_pci_port_skt0); port++) {
diff --git a/src/mainboard/inventec/transformers/romstage.c b/src/mainboard/inventec/transformers/romstage.c
index c04720a5e3..9299c7dc04 100644
--- a/src/mainboard/inventec/transformers/romstage.c
+++ b/src/mainboard/inventec/transformers/romstage.c
@@ -10,6 +10,7 @@
 #include <defs_cxl.h>
 #include <defs_iio.h>
 #include <sprsp_ac_iio.h>
+#include <stdint.h>
 
 #include "ipmi.h"
 
@@ -24,7 +25,7 @@ static void mainboard_config_iio(FSPM_UPD *mupd)
 	int port;
 
 	UPD_IIO_PCIE_PORT_CONFIG *PciePortConfig =
-		(UPD_IIO_PCIE_PORT_CONFIG *)mupd->FspmConfig.IioPcieConfigTablePtr;
+		(UPD_IIO_PCIE_PORT_CONFIG *)(uintptr_t)mupd->FspmConfig.IioPcieConfigTablePtr;
 
 	/* Socket0: Array ac_iio_pci_port_skt0 only configures DMI, IOU0 ~ IOU4, the rest will be left zero */
 	for (port = 0; port < ARRAY_SIZE(ac_iio_pci_port_skt0); port++) {
-- 
cgit v1.2.3