Skip to main content

arm_address_space_reclaim

ax_task::runtime::task_runtime

Function arm_address_space_reclaim 

Source 
pub fn arm_address_space_reclaim(
    __arg0: AddressSpaceHandle,
) -> AddressSpaceReclaimArmOutcome
Expand description

Arms one deferred retry after destruction observed an active CPU lease.

The token is already queued in ax-task before this call. The runtime returns AddressSpaceReclaimArmOutcome::Ready if no CPU lease remains, or records an allocation-free notification obligation and returns AddressSpaceReclaimArmOutcome::Armed. The CPU that drops the last lease must then call crate::runtime::resource::notify_address_space_reclaim. An invalid handle is a fatal provider invariant.