[][src]Constant linux_sys::CLOCK_SGI_CYCLE

pub const CLOCK_SGI_CYCLE: u32 = 10;