Constant linux_raw_sys::prctl::PR_TIMING_TIMESTAMP

pub const PR_TIMING_TIMESTAMP: u32 = 1;