Skip to main content

destroy_address_space

ax_task::runtime::task_runtime

Function destroy_address_space 

Source 
pub fn destroy_address_space(
    __arg0: AddressSpaceHandle,
) -> AddressSpaceDestroyOutcome
Expand description

Releases an address-space object after no CPU retains it as active mm.

AddressSpaceDestroyOutcome::Active leaves the object live and accepted by a later retry. This task-context operation may drop the OS ownership lease; it is never invoked from the IRQ-off context-switch path. The runtime must treat an invalid handle as a fatal provider invariant rather than expose a compatibility status.