IPMI_OS_SEL_RECORD_TYPE - NtDoc

Native API online documentation, based on the System Informer (formerly Process Hacker) phnt headers 
// ntddk.h

typedef enum _IPMI_OS_SEL_RECORD_TYPE {
  IpmiOsSelRecordTypeWhea,
  IpmiOsSelRecordTypeOther,
  IpmiOsSelRecordTypeWheaErrorXpfMca,
  IpmiOsSelRecordTypeWheaErrorPci,
  IpmiOsSelRecordTypeWheaErrorNmi,
  IpmiOsSelRecordTypeWheaErrorOther,
  IpmiOsSelRecordTypeRaw,
  IpmiOsSelRecordTypeDriver,
  IpmiOsSelRecordTypeBugcheckRecovery,
  IpmiOsSelRecordTypeBugcheckData,
  IpmiOsSelRecordTypeMax
} IPMI_OS_SEL_RECORD_TYPE, *PIPMI_OS_SEL_RECORD_TYPE;
View the official Windows Driver Kit DDI reference

NtDoc

No description available.

Edit description on GitHub

Windows Driver Kit DDI reference (ne-ntddk-ipmi_os_sel_record_type)

IPMI_OS_SEL_RECORD_TYPE enumeration

Description

Reserved for system use.

Constants

IpmiOsSelRecordTypeWhea

IpmiOsSelRecordTypeOther

IpmiOsSelRecordTypeWheaErrorXpfMca

IpmiOsSelRecordTypeWheaErrorPci

IpmiOsSelRecordTypeWheaErrorNmi

IpmiOsSelRecordTypeWheaErrorOther

IpmiOsSelRecordTypeMax

IpmiOsSelRecordTypeRaw

IpmiOsSelRecordTypeDriver

IpmiOsSelRecordTypeBugcheckRecovery

IpmiOsSelRecordTypeBugcheckData

Remarks

See also

View the official Windows Driver Kit DDI reference

Edit description on GitHub