x86_64::regs

Constant X86_CR0_PE

Source 
const X86_CR0_PE: u64 = 0x1;