pub fn destroy_context(__arg0: ExecutionContextHandle)Expand description
Destroys an execution context that cannot be scheduled again.
The registry makes a record reclaimable only after switch tail clears
physical CPU ownership. Destruction is therefore a single, infallible
ownership transfer; a provider must report an impossible live-context
state through its own fatal invariant path rather than return Busy.