MdePkg[all]
1.08
|
Data Fields | |
IPMI_BOOT_OPTIONS_CHANNEL_NUMBER | ChannelNumber |
UINT8 | SessionId [4] |
UINT8 | BootInfoTimeStamp [4] |
UINT8 IPMI_BOOT_OPTIONS_RESPONSE_PARAMETER_6::BootInfoTimeStamp[4] |
IPMI_BOOT_OPTIONS_CHANNEL_NUMBER IPMI_BOOT_OPTIONS_RESPONSE_PARAMETER_6::ChannelNumber |
UINT8 IPMI_BOOT_OPTIONS_RESPONSE_PARAMETER_6::SessionId[4] |