#ifndef _NTEXAPI_H

// rev
/**
 * The SYSTEM_WHEA_IPMI_HARDWARE_INFORMATION_WIN10 structure contains system WHEA IPMI hardware information.
 */
typedef struct _SYSTEM_WHEA_IPMI_HARDWARE_INFORMATION_WIN10
{
    ULONGLONG RecordId;     // IPMI SEL (System Event Log) record identifier
    UCHAR EventType;        // IPMI event/reading type code
    UCHAR SensorType;       // IPMI sensor type (e.g. temperature, voltage, processor)
    USHORT GeneratorId;     // ID of the entity that logged the event
    UCHAR EvmRevision;      // Event Message format revision
    UCHAR RecordType;       // SEL record type (e.g. system event vs OEM)
    UCHAR Data[4];          // Event-specific data bytes
} SYSTEM_WHEA_IPMI_HARDWARE_INFORMATION, *PSYSTEM_WHEA_IPMI_HARDWARE_INFORMATION;

#endif
View code on GitHub