Skip to main content

address_space_membarrier_state

ax_task::runtime::task_runtime

Function address_space_membarrier_state 

Source 
pub fn address_space_membarrier_state(
    __arg0: AddressSpaceHandle,
) -> AddressSpaceMembarrierState
Expand description

Loads the shared mm identity and membarrier registration state.

This operation runs while rq locks or local IRQ exclusion may be held. It must be a fixed, allocation-free atomic lookup and must not acquire an OS lock or re-enter ax-task. An invalid handle is a fatal provider invariant.