specification: Clear all ATC cache when unbinding a TDI

Signed-off-by: Samuel Ortiz <[email protected]>
riscv-non-isa · May 14, 2024 · 0926b67 · 0926b67
1 parent 9a24ba0
commit 0926b67
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/07-theory_operations.adoc b/src/07-theory_operations.adoc
@@ -923,8 +923,8 @@ Unbinding an interface from a TVM goes through the following steps:
    belongs to a bound interface, or if it does not belong to the MMIO gpa -> hpa
    mapping the TSM initially created for the interface at
    xref:binding-flow[TDI binding time].
-8. The TSM removes all C-IOMMU, TVM G-stage mappings and the MMIO gpa -> hpa
-   mapping for the interface.
+8. The TSM removes all C-IOMMU mappings and all cached C-IOMMU ATC mappings, the
+   TVM G-stage mappings and the MMIO gpa -> hpa mappings for the interface.
 
 .Device Interface Unbinding - Unbind Interface
 [source,mermaid]