This is the complete list of members for IPMI_BOOT_OPTIONS_CHANNEL_NUMBER, including all inherited members.

Bits	IPMI_BOOT_OPTIONS_CHANNEL_NUMBER
ChannelNumber	IPMI_BOOT_OPTIONS_CHANNEL_NUMBER
Reserved	IPMI_BOOT_OPTIONS_CHANNEL_NUMBER
Uint8	IPMI_BOOT_OPTIONS_CHANNEL_NUMBER