x86_64::regs

Constant X86_CR0_PG

Source 
const X86_CR0_PG: u64 = 0x80000000;