Searched refs:X86_CR4_PAE (Results 1 – 4 of 4) sorted by relevance
247 const X86_CR4_PAE: u64 = 0x20; constant334 sregs.cr4 |= X86_CR4_PAE; in setup_page_tables()409 assert_eq!(X86_CR4_PAE, sregs.cr4); in page_tables()
102 #define X86_CR4_PAE _BITUL(X86_CR4_PAE_BIT) macro
21 #define X86_CR4_PAE (1ul << 5) macro
626 sregs.cr4 |= X86_CR4_PAE | X86_CR4_OSFXSR; in vcpu_setup()