Constant ndk_sys::CLOCK_SGI_CYCLE

pub const CLOCK_SGI_CYCLE: u32 = 10;