![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <ipmi_ocp.h>
Data Fields | |
uint32_t | cpu0_lo |
uint32_t | cpu0_hi |
uint32_t | cpu1_lo |
uint32_t | cpu1_hi |
Definition at line 20 of file ipmi_ocp.h.
uint32_t ppin_req::cpu0_hi |
Definition at line 22 of file ipmi_ocp.h.
Referenced by ipmi_set_ppin().
uint32_t ppin_req::cpu0_lo |
Definition at line 21 of file ipmi_ocp.h.
Referenced by ipmi_set_ppin().
uint32_t ppin_req::cpu1_hi |
Definition at line 24 of file ipmi_ocp.h.
Referenced by ipmi_set_ppin().
uint32_t ppin_req::cpu1_lo |
Definition at line 23 of file ipmi_ocp.h.
Referenced by ipmi_set_ppin().