// wdm.h

typedef struct _FAULT_INFORMATION {
  FAULT_INFORMATION_ARCH Type;
  BOOLEAN                IsStage1;
  union {
    FAULT_INFORMATION_ARM64 Arm64;
    FAULT_INFORMATION_X64   X64;
  };
} FAULT_INFORMATION, *PFAULT_INFORMATION;
View the official Windows Driver Kit DDI reference

NtDoc

No description available.

Edit description on GitHub

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

_FAULT_INFORMATION structure

Description

Contains information to set the fault report on a device. This structure is used by the IOMMU_DEVICE_FAULT_HANDLER callback function.

Members

`Type`

A FAULT_INFORMATION_ARCH-type value that indicates the system architecture.

`IsStage1`

`Arm64`

A FAULT_INFORMATION_ARM64 structure that contains fault information on an ARM64 system.

FAULT_INFORMATION - NtDoc