pub const CLOCK_SGI_CYCLE: u32 = 10;