// ntddk.h
typedef struct _WHEA_PSHED_PI_TRACE_EVENT {
WHEA_EVENT_LOG_ENTRY WheaEventLogEntry;
CCHAR Buffer[256];
} WHEA_PSHED_PI_TRACE_EVENT, *PWHEA_PSHED_PI_TRACE_EVENT;
View the official Windows Driver Kit DDI referenceNo description available.
WheaEventLogEntryBuffer