Constant CLOCK_SGI_CYCLE 

pub const CLOCK_SGI_CYCLE: clockid_t = 10;