Searched refs:CR4_PAE (Results 1 - 9 of 9) sorted by relevance

/barrelfish-master/usr/arrakismon/
H A Dvmx.h34 #define CR4_PAE (1UL << 5) macro
H A Dguest.c1696 guest_assert(g, (guest_cr4 & CR4_PAE) == 0);
/barrelfish-master/usr/vmkitmon/
H A Dvmx.h34 #define CR4_PAE (1UL << 5) macro
H A Dguest.c1226 guest_assert(g, (guest_cr4 & CR4_PAE) == 0);
/barrelfish-master/kernel/arch/x86_32/
H A Dinit.c404 #define CR4_PAE (1 << 5) macro
452 cr4 |= CR4_PAE;
/barrelfish-master/kernel/include/arch/x86_64/
H A Dvmx_vmkit.h62 #define CR4_PAE (1UL << 5) macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c473 assert(rdcr4() & CR4_PAE);
612 uint64_t guest_cr4 = CR4_PAE;
674 uint64_t guest_cr4 = CR4_PAE;
H A Dvmx_checks.c88 assert(guest_cr4 & CR4_PAE);
928 assert(host_cr4 & CR4_PAE);
/barrelfish-master/include/arch/x86_64/machine/
H A Dspecialreg.h66 #define CR4_PAE 0x00000020 /* Physical address extension */ macro

Completed in 110 milliseconds