Constant x86defs::X64_CR0_PG

pub const X64_CR0_PG: u64 = 0x0000000080000000;