linux_raw_sys::ptrace

Constant X86_CR3_PCID_NOFLUSH_BIT

Source 
pub const X86_CR3_PCID_NOFLUSH_BIT: u32 = 63;