IOMMU_DEVICE_FAULT_HANDLER callback function (wdm.h)

Reports fault from a specific device and domain.

Syntax

IOMMU_DEVICE_FAULT_HANDLER IommuDeviceFaultHandler;

void IommuDeviceFaultHandler(
  PVOID Context,
  PFAULT_INFORMATION FaultInformation
)
{...}

Parameters

Context

A pointer to the opaque driver-supplied fault context.

FaultInformation

A pointer to a FAULT_INFORMATION structure that contains fault information.

Return value

None

Remarks

Register your implementation of this callback function by setting the FaultHandler member of DEVICE_FAULT_CONFIGURATION.

Requirements

Requirement Value
Minimum supported client Windows 10, version 1809
Header wdm.h (include Wdm.h)
IRQL PASSIVE_LEVEL