pub fn detach_current_address_space() -> Result<AddressSpaceToken, TaskError>Expand description
Detaches the current thread’s scheduler-visible user address space.
The runtime must enter its lazy kernel address-space state before the outer IRQ-off transaction ends, then transfer the returned token to task-context reclamation.