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

/barrelfish-master/usr/arrakismon/
H A Dvmx.h33 #define CR0_PG (1UL << 31) macro
H A Dguest.c1737 if (UNLIKELY((guest_cr0 & CR0_PG) == 0)) {
/barrelfish-master/usr/vmkitmon/
H A Dvmx.h33 #define CR0_PG (1UL << 31) macro
H A Dguest.c1267 if (UNLIKELY((guest_cr0 & CR0_PG) == 0)) {
/barrelfish-master/kernel/arch/x86_32/
H A Dinit.c400 #define CR0_PG (1 << 31) macro
470 cr0 |= CR0_PG;
/barrelfish-master/kernel/include/arch/x86_64/
H A Dvmx_vmkit.h60 #define CR0_PG (1 << 31) macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c52 cr0_fixed0 &= ~(CR0_PE | CR0_PG);
60 if (guest_cr0 & CR0_PG) {
65 assert(guest_cr0 & CR0_PG);
118 if (guest_cr0 & CR0_PG) {
H A Dvmx_vmkit.c375 if ((cr0 & CR0_PE) == 0 || (rdcr0() & CR0_PG) == 0) {
608 uint64_t guest_cr0 = 0x60000010 | CR0_PE | CR0_PG;
672 err += vmwrite(VMX_GUEST_CR0, guest_cr0 & ~(CR0_PE | CR0_PG));
/barrelfish-master/include/arch/x86_64/machine/
H A Dspecialreg.h43 #define CR0_PG 0x80000000 /* PaGing enable */ macro

Completed in 126 milliseconds