Constant linux_raw_sys::prctl::PR_GET_TIMING

pub const PR_GET_TIMING: u32 = 13;