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 25