coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
ipmi.h
Go to the documentation of this file.
1
/* SPDX-License-Identifier: GPL-2.0-or-later */
2
3
#ifndef DELTALAKE_IPMI_H
4
#define DELTALAKE_IPMI_H
5
6
#include <
stdint.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
cb_err
cb_err
coreboot error codes
Definition:
cb_err.h:15
init_frb2_wdt
void init_frb2_wdt(void)
Definition:
ipmi.c:60
ipmi_get_slot_id
enum cb_err ipmi_get_slot_id(uint8_t *slot_id)
Definition:
ipmi.c:35
ipmi_get_pcie_config
enum cb_err ipmi_get_pcie_config(uint8_t *config)
Definition:
ipmi.c:12
config_type
config_type
Definition:
ipmi.h:12
PCIE_CONFIG_A
@ PCIE_CONFIG_A
Definition:
ipmi.h:14
PCIE_CONFIG_C
@ PCIE_CONFIG_C
Definition:
ipmi.h:16
PCIE_CONFIG_UNKNOWN
@ PCIE_CONFIG_UNKNOWN
Definition:
ipmi.h:13
PCIE_CONFIG_B
@ PCIE_CONFIG_B
Definition:
ipmi.h:15
PCIE_CONFIG_D
@ PCIE_CONFIG_D
Definition:
ipmi.h:17
config
enum board_config config
Definition:
memory.c:448
stdint.h
uint8_t
unsigned char uint8_t
Definition:
stdint.h:8
src
mainboard
ocp
deltalake
ipmi.h
Generated by
1.9.1