specification: Define the device disconnection flow

Fixes #58

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

src/07-theory_operations.adoc

@@ -556,6 +556,24 @@ VMM ->> RootPort: Enable IDE for the selected stream
 
 === Device Disconnection
 
+The host supervisor domain manager may decide to reclaim all resources related
+to a connected device. All TDIs tracking states, TDISP resources, SPDM session
+context or allocated IDE stream can be reclaimed by disconnecting the TSM from
+the device. This is achieved through a `sbi_covh_disconnect_device()` `COVH`
+ABI call to the connected TSM.
+
+TSMs servicing the `sbi_covh_disconnect_device()` request must return an error
+if some TDIs belonging to the related device are still bound to one or more TVMs
+managed by the TSM. The host supervisor domain manager must first unbind all
+TDIs from their respective TVMs before attempting to disconnect the device from
+the TSM.
+
+To bind any TDI from the disconnected device to a TVM again, the host supervisor
+domain manager must xref:device-connection[establish a new connection] between
+the device's DSM and the related TSM.
+
+==== Disconnection Flow
+
 === Interface Binding
 
 Once both the SPDM session and the IDE link are secured and established, the