// wdm.h

typedef struct _DEVICE_FAULT_CONFIGURATION {
  PIOMMU_DEVICE_FAULT_HANDLER FaultHandler;
  PVOID                       FaultContext;
} DEVICE_FAULT_CONFIGURATION, *PDEVICE_FAULT_CONFIGURATION;
View the official Windows Driver Kit DDI reference

NtDoc

No description available.

Edit description on GitHub

Windows Driver Kit DDI reference (ns-wdm-_device_fault_configuration)

_DEVICE_FAULT_CONFIGURATION structure

Description

This structure is used in setting the device fault reporting state through the IOMMU_SET_DEVICE_FAULT_REPORTING callback function.

Members

`FaultHandler`

A pointer to the driver-supplied fault handler routine, executed at PASSIVE_LEVEL. See IOMMU_DEVICE_FAULT_HANDLER.

`FaultContext`

A pointer to the opaque driver-supplied fault context.

DEVICE_FAULT_CONFIGURATION - NtDoc