linux_raw_sys::prctl

Constant PR_GET_TIMING

Source
pub const PR_GET_TIMING: u32 = 13;