linux_api::time::CLOCK_SGI_CYCLE [] [src]

pub const CLOCK_SGI_CYCLE: clockid_t = 10

A clock used for SGI systems. Need to investigate