pub trait CPUCapLocalIrq: Send + Sync {
// Required methods
fn irq_enable(&self, irq: IrqId) -> Result<(), IntcError>;
fn irq_disable(&self, irq: IrqId) -> Result<(), IntcError>;
fn set_priority(&self, irq: IrqId, priority: usize) -> Result<(), IntcError>;
fn set_trigger(&self, irq: IrqId, trigger: Trigger) -> Result<(), IntcError>;
}