linux_raw_sys::prctl

Constant PR_GET_TIMING

source 
pub const PR_GET_TIMING: u32 = 13;