Constant linux_raw_sys::general::CR3

pub const CR3: u32 = 1536;