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