summaryrefslogtreecommitdiff
path: root/src/mainboard
diff options
context:
space:
mode:
authorArthur Heymans <arthur@aheymans.xyz>2024-03-28 14:42:50 +0100
committerFelix Held <felix-coreboot@felixheld.de>2024-04-03 12:47:04 +0000
commitfff762ebb2aab4d4d523ee195fad8da2fee3c453 (patch)
tree788c2eb93f64b6d5142ed8917c590d600253ddf7 /src/mainboard
parentd837736a0515c305aa902c9f8702065064827891 (diff)
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>
Diffstat (limited to 'src/mainboard')
-rw-r--r--src/mainboard/bytedance/bd_egs/romstage.c3
-rw-r--r--src/mainboard/inventec/transformers/romstage.c3
2 files changed, 4 insertions, 2 deletions
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++) {