// wdm.h
typedef enum _FAULT_INFORMATION_ARM64_TYPE {
UnsupportedUpstreamTransaction,
AddressSizeFault,
TlbMatchConflict,
ExternalFault,
PermissionFault,
AccessFlagFault,
TranslationFault,
MaxFaultType
} FAULT_INFORMATION_ARM64_TYPE, *PFAULT_INFORMATION_ARM64_TYPE, FAULT_INFORMATION_X64_TYPE, *PFAULT_INFORMATION_X64_TYPE;
View the official Windows Driver Kit DDI referenceNo description available.
Defines values for the type of fault. These values are used by the FAULT_INFORMATION_ARM64 structure.
UnsupportedUpstreamTransactionAddressSizeFaultTlbMatchConflictExternalFaultPermissionFaultAccessFlagFaultTranslationFaultMaxFaultType