// wdm.h

IOMMU_DEVICE_QUERY_INFORMATION IommuDeviceQueryInformation;

NTSTATUS IommuDeviceQueryInformation(
  PIOMMU_DMA_DEVICE DmaDevice,
  ULONG Size,
  PULONG BytesWritten,
  PIOMMU_DMA_DEVICE_INFORMATION Buffer
)
{...}
View the official Windows Driver Kit DDI reference

NtDoc

No description available.

Edit description on GitHub

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

Description

IOMMU_DEVICE_QUERY_INFORMATION takes an IOMMU_DMA_DEVICE token and returns the device info.

Parameters

`DmaDevice`

[in] Pointer to the IOMMU_DMA_DEVICE token.

`Size`

[in] Supplies the size in bytes of the provided buffer.

`BytesWritten`

[out] Pointer to receive the number of bytes written to the buffer.

`Buffer`

[out] Pointer to a IOMMU_DMA_DEVICE_INFORMATION structure that receives the device information.

Return value

Returns an NTSTATUS value. Possible values include:

Return code	Description
STATUS_SUCCESS	If the device info was successfully written into the buffer.
STATUS_BUFFER_TOO_SMALL	If the provided buffer does not meet minimum size requirements.

IOMMU_DEVICE_QUERY_INFORMATION - NtDoc