sravan/system76-coreboot
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

mb/{bd/bd_egs, iventec/transformers}: Fix building with x86_64

Browse Source 
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>
This commit is contained in:
Arthur Heymans
2024-03-28 14:42:50 +01:00
committed by Felix Held
parent d837736a05
commit fff762ebb2
2 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/mainboard/bytedance/bd_egs/romstage.c
View File

@@ -5,13 +5,14 @@
#include <defs_cxl.h> #include <defs_cxl.h>
#include <defs_iio.h> #include <defs_iio.h>
#include <sprsp_bd_iio.h> #include <sprsp_bd_iio.h>
#include <stdint.h>
static void mainboard_config_iio(FSPM_UPD *mupd) static void mainboard_config_iio(FSPM_UPD *mupd)
{ {
int port; int port;
UPD_IIO_PCIE_PORT_CONFIG *PciePortConfig = 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 */ /* 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++) { for (port = 0; port < ARRAY_SIZE(bd_iio_pci_port_skt0); port++) {

3
src/mainboard/inventec/transformers/romstage.c
View File

@@ -10,6 +10,7 @@
#include <defs_cxl.h> #include <defs_cxl.h>
#include <defs_iio.h> #include <defs_iio.h>
#include <sprsp_ac_iio.h> #include <sprsp_ac_iio.h>
#include <stdint.h>
#include "ipmi.h" #include "ipmi.h"
@@ -24,7 +25,7 @@ static void mainboard_config_iio(FSPM_UPD *mupd)
int port; int port;
UPD_IIO_PCIE_PORT_CONFIG *PciePortConfig = 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 */ /* 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++) { for (port = 0; port < ARRAY_SIZE(ac_iio_pci_port_skt0); port++) {