Searched refs:CR0_PE (Results 1 - 8 of 8) sorted by relevance

/barrelfish-master/usr/arrakismon/
H A Dvmx.h32 #define CR0_PE (1UL << 0) macro
H A Dguest.c1445 if (UNLIKELY(run && (guest_cr0 & CR0_PE) == 0)) {
1496 assert(guest_cr0 & CR0_PE);
1788 assert(guest_cr0 & CR0_PE);
1971 assert((guest_cr0 & CR0_PE) == 0);
2106 if ((guest_cr0 & CR0_PE) == 0) {
/barrelfish-master/usr/vmkitmon/
H A Dvmx.h32 #define CR0_PE (1UL << 0) macro
H A Dguest.c976 if (UNLIKELY(run && (guest_cr0 & CR0_PE) == 0)) {
1027 assert(guest_cr0 & CR0_PE);
1318 assert(guest_cr0 & CR0_PE);
1506 assert((guest_cr0 & CR0_PE) == 0);
1641 if ((guest_cr0 & CR0_PE) == 0) {
/barrelfish-master/kernel/include/arch/x86_64/
H A Dvmx_vmkit.h57 #define CR0_PE (1 << 0) macro
/barrelfish-master/kernel/arch/x86_64/
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));
683 err += vmwrite(VMX_CR0_GH_MASK, CR0_PE);
H A Dvmx_checks.c52 cr0_fixed0 &= ~(CR0_PE | CR0_PG);
61 assert(guest_cr0 & CR0_PE);
407 if (cs_type == 3 || (guest_cr0 & CR0_PE) == 0) {
849 if (ia32e_guest || ((guest_rflags & CR0_PE) == 0)) {
/barrelfish-master/include/arch/x86_64/machine/
H A Dspecialreg.h39 #define CR0_PE 0x00000001 /* Protected mode Enable */ macro

Completed in 103 milliseconds