DEVICE_FAULT_CONFIGURATION structure (wdm.h)

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

Syntax

typedef struct _DEVICE_FAULT_CONFIGURATION {
 PIOMMU_DEVICE_FAULT_HANDLER FaultHandler;
 PVOID FaultContext;
} DEVICE_FAULT_CONFIGURATION, *PDEVICE_FAULT_CONFIGURATION;

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.

Requirements