// ntddk.h
VOID WheaErrorRecordBuilderInit(
PWHEA_ERROR_RECORD Record,
UINT32 RecordLength,
WHEA_ERROR_SEVERITY Severity,
GUID Notify
);
View the official Windows Driver Kit DDI referenceNo description available.
The WheaErrorRecordBuilderInit function initializes an error record for the record builder helper functions.
RecordSupplies a buffer that holds the error record contents.
RecordLengthSupplies the total buffer size for Record.
SeveritySupplies the overall record severity.
NotifySupplies the GUID for the notification type.