// wdm.h

typedef struct _FAULT_INFORMATION_ARM64 {
  PVOID                         DomainHandle;
  PVOID                         FaultAddress;
  PDEVICE_OBJECT                PhysicalDeviceObject;
  ULONG                         InputMappingId;
  FAULT_INFORMATION_ARM64_FLAGS Flags;
  FAULT_INFORMATION_ARM64_TYPE  Type;
  ULONG64                       IommuBaseAddress;
} FAULT_INFORMATION_ARM64, *PFAULT_INFORMATION_ARM64;
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_arm64)

_FAULT_INFORMATION_ARM64 structure

Description

Describes fault information for an ARM64 system.

Members

`DomainHandle`

The handle to the DMA domain that the caller obtained from a previous call to PGET_DMA_DOMAIN.

`FaultAddress`

`PhysicalDeviceObject`

A pointer the physical device object (PDO) in the device stack of the device.

`InputMappingId`

The input mapping base for the device's desired stream.

`Flags`

A bitwise of FAULT_INFORMATION_ARM64_FLAGS flags.

`Type`

A bitwise of FAULT_INFORMATION_ARM64_TYPE flags.

FAULT_INFORMATION_ARM64 - NtDoc