// wdm.h

IOMMU_DEVICE_FAULT_HANDLER IommuDeviceFaultHandler;

VOID IommuDeviceFaultHandler(
  PVOID Context,
  PFAULT_INFORMATION FaultInformation
)
{...}
View the official Windows Driver Kit DDI reference

NtDoc

No description available.

Edit description on GitHub

Windows Driver Kit DDI reference (nc-wdm-iommu_device_fault_handler)

Description

Reports fault from a specific device and domain.

Parameters

`Context`

A pointer to the opaque driver-supplied fault context.

`FaultInformation`

A pointer to a FAULT_INFORMATION structure that contains fault information.

Remarks

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

IOMMU_DEVICE_FAULT_HANDLER - NtDoc