pub type ConcurrentBoxedIrqHandler = Box<dyn Fn(IrqContext) -> IrqReturn + Send + Sync>;
Boxed IRQ handler ABI for callbacks that may run concurrently.
pub struct ConcurrentBoxedIrqHandler(/* private fields */);