pub const CLOCK_SGI_CYCLE: i32 = 10;
The driver implementing this got removed. The clock ID is kept as a place holder. Do not reuse!