// wdm.h

IOMMU_PASID_DEVICE_DELETE IommuPasidDeviceDelete;

NTSTATUS IommuPasidDeviceDelete(
  PIOMMU_DMA_PASID_DEVICE PasidDevice
)
{...}
View the official Windows Driver Kit DDI reference

NtDoc

No description available.

Edit description on GitHub

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

Description

IOMMU_PASID_DEVICE_DELETE deletes a PASID sub-device and frees its ASID.

Parameters

`PasidDevice`

[in] Pointer to the IOMMU_DMA_PASID_DEVICE structure that represents the PASID sub-device to be deleted.

Return value

Returns an NTSTATUS value. Possible values include:

Return code	Description
STATUS_SUCCESS	On successful deletion of the PASID sub-device.
STATUS_RESOURCE_IN_USE	Device is still attached to a domain. Callers are responsible detaching devices from domains before deleting the device.

Remarks

Callers are responsible for detaching devices from domains before deleting the device.

IOMMU_PASID_DEVICE_DELETE - NtDoc