pub trait Interface: DriverGeneric {
// Required methods
fn current_cpu_setup(&self) -> Box<dyn InterfaceCPU>;
fn irq_enable(&mut self, irq: IrqId);
fn irq_disable(&mut self, irq: IrqId);
fn set_priority(&mut self, irq: IrqId, priority: usize);
fn set_trigger(&mut self, irq: IrqId, trigger: Trigger);
fn set_target_cpu(&mut self, irq: IrqId, cpu: CpuId);
}