Constant x86defs::X64_CR4_PGE

source ยท
pub const X64_CR4_PGE: u64 = 0x0000000000000080;