// ntddk.h
PFN_WHEA_HIGH_IRQL_LOG_SEL_EVENT_HANDLER PfnWheaHighIrqlLogSelEventHandler;
NTSTATUS PfnWheaHighIrqlLogSelEventHandler(
PVOID Context,
PIPMI_OS_SEL_RECORD OsSelRecord
)
{...}
View the official Windows Driver Kit DDI referenceNo description available.
Reserved for system use.
ContextOsSelRecord