src/mainboard/ocp/deltalake/ipmi.h

   1 /* SPDX-License-Identifier: GPL-2.0-or-later */
   2
   3 #ifndef DELTALAKE_IPMI_H
   4 #define DELTALAKE_IPMI_H
   5
   6 #include <types.h>
   7
   8 #define IPMI_OEM_GET_PCIE_CONFIG                0xf4
   9 #define IPMI_OEM_GET_BOARD_ID                   0x37
  10
  11
  12 enum config_type {
  13         PCIE_CONFIG_UNKNOWN = 0x0,
  14         PCIE_CONFIG_A = 0x1,
  15         PCIE_CONFIG_B = 0x2,
  16         PCIE_CONFIG_C = 0x3,
  17         PCIE_CONFIG_D = 0x4,
  18 };
  19
  20 enum cb_err ipmi_get_pcie_config(uint8_t *config);
  21 enum cb_err ipmi_get_slot_id(uint8_t *slot_id);
  22 void init_frb2_wdt(void);
  23
  24 #endif