Module sync 

Scheduler-owned synchronization provider capabilities.

Structs

ContextOperations

Runtime callbacks used by the external synchronization provider.

ContextState

Opaque execution-context state returned to an external wrapper.

LockClass

Borrowed lock-class storage from an external fixed-layout wrapper.

MutexAcquireRequest

One complete external PI-mutex acquisition request.

PiMutexCore

Lock-local owner word, identity, and scheduler-owned waiter handle.

PiMutexCoreView

Borrowed storage of one native PI-mutex state machine.

PiMutexId

Stable identity of one physical PI mutex lifetime.

PiMutexOwnerSnapshot

Atomic owner snapshot serialized with a provider’s waiter-tree lock.

PiMutexRaw

Raw generation-checked reference retained by a registered waiter.

PiMutexRef

Borrowed scheduler capability of one physical PI mutex.

PiMutexStorage

Borrowed fixed storage for one external PI mutex.

PiMutexStorageMut

Exclusive fixed storage borrowed while an external PI mutex is destroyed.

PiTaskId

Non-zero scheduler identity stored in a PI mutex owner word.

PiWaitToken

Token joining one provider registration to the physical lock lifetime.

RwLockAcquireRequest

One complete external spin read-write acquisition request.

SpinAcquireRequest

One complete external exclusive-spin acquisition request.

Enums

PiMutexAcquire

Result of the atomic PI mutex fast acquisition path.

PiMutexClaimOutcome

Result of serializing one ownerless PI-mutex claim.

PiMutexLockResult

Result of entering the PI mutex slow path.

PiMutexOwnedRelease

Result of an owner-authorized PI mutex release.

PiMutexStateError

Failure of a lock-local PI owner-word transition.

PiWaitCancelOutcome

Result of trying to cancel one committed PI waiter.

PiWaitStateError

Invariant that rejected a PI waiter graph transition.

Functions

context_enter

context_exit

dump_lockdep_trace

Dumps the native lockdep trace buffer.

hardirq_enter

hardirq_exit

irq_return_preempt_enter

irq_return_preempt_exit^⚠

Safety

mutex_acquire

Acquires an external PI mutex through the native Linux-RT-style blocking path.

mutex_destroy

Destroys scheduler-owned inline waiter state after the wrapper is unique.

mutex_force_release

Releases one deliberately leaked external PI-mutex guard.

mutex_is_locked

Returns whether an external PI mutex has an owner or pending handoff.

mutex_is_owned_by_current

Returns whether the current task owns an external PI mutex.

mutex_release

Releases an external PI mutex and completes any scheduler-owned handoff.

mutex_try_acquire

Tries to acquire an external PI mutex without blocking.

pi_drop_wait_handle^⚠

Drops the scheduler-owned waiter handle transferred by a physical PI mutex.

pi_initial_owner_is_on_cpu

Tests whether the waiter token’s initial owner is still executing.

pi_mutex_claim

Claims the ownerless PI mutex handoff selected for this waiter.

pi_mutex_lock_slow

Enters the scheduler-owned PI mutex slow path.

pi_mutex_release_owned^⚠

Publishes a raw-mutex-owner PI handoff and wakes the selected waiter.

pi_park_current_once

Performs one scheduler park attempt for a PI waiter.

pi_wait_cancel

Cancels a PI wait token after a handoff-before-block race.

pi_wait_try_cancel

Tries to cancel one PI waiter while preserving an ownerless handoff that already selected it.

pi_waiter_is_granted

Tests whether the task-local waiter capability has received handoff.

pi_waiter_is_top

Tests whether the task-local waiter capability is first in its lock queue.

rwlock_acquire

Acquires an external spin read-write lock through the native state machine.

rwlock_force_read_decrement

Removes one deliberately leaked external raw read acquisition.

rwlock_release

Releases an external spin read-write acquisition and its context.

rwlock_try_acquire

Attempts an external spin read-write acquisition through the native state machine.

set_lockdep_trace_enabled

Enables or disables native lockdep trace recording.

spin_acquire

Acquires an external exclusive spin lock through the native state machine.

spin_force_release

Releases a deliberately leaked external exclusive spin acquisition.

spin_is_locked

Returns a diagnostic snapshot of an external spin lock word.

spin_release

Releases an external exclusive spin lock and its execution context.

spin_try_acquire

Attempts an external exclusive spin acquisition through the native state machine.