// wdm.h

IOMMU_SET_DEVICE_FAULT_REPORTING_EX IommuSetDeviceFaultReportingEx;

NTSTATUS IommuSetDeviceFaultReportingEx(
  PIOMMU_DMA_DEVICE DmaDevice,
  ULONG InputMappingIdBase,
  BOOLEAN Enable,
  PDEVICE_FAULT_CONFIGURATION FaultConfig
)
{...}
View the official Windows Driver Kit DDI reference

NtDoc

No description available.

Edit description on GitHub

Windows Driver Kit DDI reference (nc-wdm-iommu_set_device_fault_reporting_ex)

Description

This routine set the device fault reporting state on a device already attached to a domain.

Parameters

`DmaDevice`

[In] A pointer to the IOMMU_DMA_DEVICE.

`InputMappingIdBase`

[In] The base input mapping ID for the device.

`Enable`

[In] A BOOLEAN indicating whether to enable fault reporting for the device.

`FaultConfig`

[In, optional] An optional pointer to DEVICE_FAULT_CONFIGURATION. Only used when enabling fault reporting.

Return value

STATUS_NOT_IMPLEMENTED always.

Remarks

This is currently not implemented and will return as such.

IOMMU_SET_DEVICE_FAULT_REPORTING_EX - NtDoc