pub const CLOCK_SGI_CYCLE: clockid_t = 10;