Module irq 

Single-owner notification capabilities for hard IRQ producers.

Structs

IrqWaitCell

Pending-bit plus single-waiter hard-IRQ event cell.

IrqWaitDrain

Revoked IRQ registration waiting out an in-flight notification claim.

IrqWaitRegistration

Task-context owner of a reusable one-shot registration.

IrqWaitToken

Published identity for one IRQ waiter registration generation.

IrqWorkerWaiter

Fixed-owner waiter for one hard-IRQ notification cell.

Enums

IrqNotifyResult

Outcome of one bounded hard-IRQ notification.

IrqRegisterResult

Outcome of task-context waiter registration.

Functions

quiesce_irq_wait

Detaches one IRQ waiter and waits out any in-flight notification claim.