Searched refs:VMX_GUEST_CR4 (Results 1 - 5 of 5) sorted by relevance
/barrelfish-master/include/barrelfish_kpi/ |
H A D | vmx_encodings.h | 202 #define VMX_GUEST_CR4 0x6804 // Guest CR4 macro
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | vmx_vmkit.c | 613 err += vmwrite(VMX_GUEST_CR4, (guest_cr4 | ia32_vmx_cr4_fixed0_rd(NULL)) & 675 err += vmwrite(VMX_GUEST_CR4, (guest_cr4 | ia32_vmx_cr4_fixed0_rd(NULL)) & 890 err += vmread(VMX_GUEST_CR4, &guest_cr4);
|
H A D | vmx_checks.c | 81 errval_t err = vmread(VMX_GUEST_CR4, &guest_cr4);
|
/barrelfish-master/usr/vmkitmon/ |
H A D | guest.c | 1104 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_CR4, &guest_cr4); 1225 errval_t err = invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_CR4, &guest_cr4);
|
/barrelfish-master/usr/arrakismon/ |
H A D | guest.c | 1575 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_CR4, &guest_cr4); 1695 errval_t err = invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_CR4, &guest_cr4);
|
Completed in 168 milliseconds