Module sync 

Re-exports

pub use preempt::PreemptGuard;

pub use waitqueue::WaitCondition;

pub use waitqueue::WaitQueue;

Modules

preempt

Preemption guard — disables preemption for the lifetime of the guard.

waitqueue

Wait queue and condition variable for blocking/waking tasks.

Structs

IrqDisabledToken

Preuve typée que les IRQ sont masquées sur le CPU courant.

SpinLock

A simple spinlock

SpinLockGuard

RAII guard for SpinLock

Functions

debug_clear_watch_lock_addr

Clear the watched lock address.

debug_set_watch_lock_addr

Set a lock address to trace during SpinLockGuard::drop.

with_irqs_disabled

Execute a closure with IRQs disabled, providing an IrqDisabledToken as proof.