Constant x86defs::X64_CR0_ET

pub const X64_CR0_ET: u64 = 0x0000000000000010;