[][src]Constant jl_sys::CLOCK_THREAD_CPUTIME_ID

pub const CLOCK_THREAD_CPUTIME_ID: u32 = 3;