x86_64::regs

Constant X86_CR4_PAE

Source 
const X86_CR4_PAE: u64 = 0x20;