Constant CR3

Source
pub const CR3: tcflag_t = 0o003000;