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