Module hard_timer 

Explicitly IRQ-safe, restartable timer callbacks.

Structs

HardKernelTimerCallback

Explicit capability for a bounded callback that may execute in hard IRQ.

HardKernelTimerHandle

Capability to arm or disarm an explicitly hard-expiry registration.

Enums

HardKernelTimerAction

Result returned by an explicitly hard-expiry callback.

Functions

arm_hard_kernel_timer

Arms an inactive hard timer or requests its next arm during execution.

disarm_hard_kernel_timer

Disarms one stable hard timer without destroying its callback payload.

register_hard_restartable_kernel_timer

Registers a stable callback with explicit hard-IRQ expiry semantics.

Type Aliases

HardRestartableKernelTimerCallback

Owned callback for an explicitly hard-expiry kernel timer.