Constant libc_interface::CR3

pub const CR3: c_int = 0x00000600;