// wdm.h
IOMMU_FLUSH_DOMAIN IommuFlushDomain;
NTSTATUS IommuFlushDomain(
[_In_] PIOMMU_DMA_DOMAIN Domain
)
{...}
View the official Windows Driver Kit DDI referenceNo description available.
Flushes the TLB for all entries which match this domain.
Domain [_In_]A pointer to the handle to the domain.
Return STATUS_SUCCESS if the operation succeeds. Otherwise, return an appropriate NTSTATUS values error code. For more information, see NTSTATUS Values.