PR_GET_TIMING

linux_raw_sys::prctl

Constant PR_GET_TIMING 

Source 
pub const PR_GET_TIMING: u32 = 13;