diff options
| author | Arthur Heymans <arthur@aheymans.xyz> | 2024-03-28 14:42:50 +0100 |
|---|---|---|
| committer | Felix Held <felix-coreboot@felixheld.de> | 2024-04-03 12:47:04 +0000 |
| commit | fff762ebb2aab4d4d523ee195fad8da2fee3c453 (patch) | |
| tree | 788c2eb93f64b6d5142ed8917c590d600253ddf7 | |
| parent | d837736a0515c305aa902c9f8702065064827891 (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>
| -rw-r--r-- | src/mainboard/bytedance/bd_egs/romstage.c | 3 | ||||
| -rw-r--r-- | src/mainboard/inventec/transformers/romstage.c | 3 |
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++) { |