diff options
Diffstat (limited to 'src/mainboard')
-rw-r--r-- | src/mainboard/ocp/deltalake/ipmi.c | 1 | ||||
-rw-r--r-- | src/mainboard/ocp/deltalake/ipmi.h | 2 | ||||
-rw-r--r-- | src/mainboard/ocp/deltalake/ramstage.c | 18 |
3 files changed, 13 insertions, 8 deletions
diff --git a/src/mainboard/ocp/deltalake/ipmi.c b/src/mainboard/ocp/deltalake/ipmi.c index d990b87e8068..1e553c0d2477 100644 --- a/src/mainboard/ocp/deltalake/ipmi.c +++ b/src/mainboard/ocp/deltalake/ipmi.c @@ -5,6 +5,7 @@ #include <drivers/ipmi/ipmi_ops.h> #include <drivers/ipmi/ocp/ipmi_ocp.h> #include <drivers/vpd/vpd.h> +#include <types.h> #include "ipmi.h" #include "vpd.h" diff --git a/src/mainboard/ocp/deltalake/ipmi.h b/src/mainboard/ocp/deltalake/ipmi.h index 269fc034d582..0b33ca479cc9 100644 --- a/src/mainboard/ocp/deltalake/ipmi.h +++ b/src/mainboard/ocp/deltalake/ipmi.h @@ -3,7 +3,7 @@ #ifndef DELTALAKE_IPMI_H #define DELTALAKE_IPMI_H -#include <stdint.h> +#include <types.h> #define IPMI_OEM_GET_PCIE_CONFIG 0xf4 #define IPMI_OEM_GET_BOARD_ID 0x37 diff --git a/src/mainboard/ocp/deltalake/ramstage.c b/src/mainboard/ocp/deltalake/ramstage.c index 8d762dc98f08..fb81e1096230 100644 --- a/src/mainboard/ocp/deltalake/ramstage.c +++ b/src/mainboard/ocp/deltalake/ramstage.c @@ -1,22 +1,26 @@ /* SPDX-License-Identifier: GPL-2.0-only */ #include <assert.h> +#include <commonlib/bsd/helpers.h> #include <console/console.h> +#include <cpu/cpu.h> +#include <cpxsp_dl_gpio.h> +#include <device/device.h> +#include <device/pci_def.h> +#include <device/pci_ops.h> #include <drivers/ipmi/ipmi_ops.h> #include <drivers/ocp/dmi/ocp_dmi.h> #include <drivers/vpd/vpd.h> +#include <hob_iiouds.h> +#include <hob_memmap.h> #include <security/intel/txt/txt.h> +#include <smbios.h> #include <soc/ramstage.h> #include <soc/soc_util.h> +#include <soc/util.h> #include <stdio.h> #include <string.h> -#include <smbios.h> -#include <device/pci_def.h> -#include <device/pci_ops.h> -#include <soc/util.h> -#include <hob_iiouds.h> -#include <hob_memmap.h> -#include <cpxsp_dl_gpio.h> +#include <types.h> #include "ipmi.h" #include "vpd.h" |