pub trait InterfaceCPU: DriverGeneric + Sync {
// Required methods
fn set_timeval(&mut self, ticks: u64);
fn current_ticks(&self) -> u64;
fn tick_hz(&self) -> u64;
fn set_irq_enable(&mut self, enable: bool);
fn get_irq_status(&self) -> bool;
fn irq(&self) -> IrqConfig;
}