Constant libc_interface::CR3

pub const CR3: c_int = 0x00003000;