Searched refs:VMX_GUEST_CR0 (Results 1 - 5 of 5) sorted by relevance
| /barrelfish-master/include/barrelfish_kpi/ |
| H A D | vmx_encodings.h | 200 #define VMX_GUEST_CR0 0x6800 // Guest CR0 macro
|
| /barrelfish-master/usr/vmkitmon/ |
| H A D | guest.c | 927 errval_t err = invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_CR0, &cr0_shadow);
974 err = invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_CR0, &guest_cr0);
1102 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_CR0, &guest_cr0);
1266 errval_t err = invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_CR0, &guest_cr0);
1428 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_CR0, &val);
1467 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_CR0, val);
1505 errval_t err = invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_CR0, &guest_cr0);
1640 errval_t err = invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_CR0, &guest_cr0);
|
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | vmx_vmkit.c | 609 err += vmwrite(VMX_GUEST_CR0, (uint32_t)(guest_cr0 | ia32_vmx_cr0_fixed0_rd(NULL)) &
672 err += vmwrite(VMX_GUEST_CR0, guest_cr0 & ~(CR0_PE | CR0_PG));
680 err += vmread(VMX_GUEST_CR0, &cr0_shadow);
888 err += vmread(VMX_GUEST_CR0, &guest_cr0);
|
| H A D | vmx_checks.c | 56 err += vmread(VMX_GUEST_CR0, &guest_cr0);
113 err += vmread(VMX_GUEST_CR0, &guest_cr0);
405 err += vmread(VMX_GUEST_CR0, &guest_cr0);
848 err += vmread(VMX_GUEST_CR0, &guest_cr0);
|
| /barrelfish-master/usr/arrakismon/ |
| H A D | guest.c | 1395 errval_t err = invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_CR0, &cr0_shadow);
1443 err = invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_CR0, &guest_cr0);
1573 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_CR0, &guest_cr0);
1736 errval_t err = invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_CR0, &guest_cr0);
1898 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_CR0, &val);
1937 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_CR0, val);
1970 errval_t err = invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_CR0, &guest_cr0);
2105 errval_t err = invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_CR0, &guest_cr0);
|
Completed in 106 milliseconds