specification: Clear all ATC cache when unbinding a TDI

Signed-off-by: Samuel Ortiz <[email protected]>

src/03-glossary.adoc

@@ -19,6 +19,12 @@ against specific attack vectors per a specified adversary and threat model. The
 term CoVE, TEE, and hardware-based TEE are also used as synonyms of AP-TEE in
 this document.
 
+| Address Translation Cache | ATC | A virtual to physical address translation
+cache in a PCIe device.
+
+| Address Translation Service | ATS | A PCIe protocol to support Device
+ATC.
+
 | Attestation | N/A | The process by which a relying party can assess the
 security posture of the confidential workload based on verifying a set of
 HW-rooted cryptographically-protected evidence.

src/07-theory_operations.adoc

@@ -1059,8 +1059,9 @@ 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 Address
+   Translation Cache (ATC) mappings, the TVM G-stage mappings and the MMIO
+   gpa -> hpa mappings for the interface.
 
 .Device Interface Unbinding - Unbind Interface
 [source,mermaid]