Searched refs:VMX_GUEST_EFER_F (Results 1 - 5 of 5) sorted by relevance
| /barrelfish-master/include/barrelfish_kpi/ |
| H A D | vmx_encodings.h | 158 #define VMX_GUEST_EFER_F 0x2806 // Guest IA32_EFER (full) macro
|
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | vmx_vmkit.c | 563 err += vmwrite(VMX_GUEST_EFER_F, ia32_efer_rd(NULL) | EFER_LME | EFER_LMA);
620 err += vmwrite(VMX_GUEST_EFER_F, 0x0);
891 err += vmread(VMX_GUEST_EFER_F, &guest_efer);
|
| H A D | vmx_checks.c | 101 err += vmread(VMX_GUEST_EFER_F, &guest_efer);
|
| /barrelfish-master/usr/vmkitmon/ |
| H A D | guest.c | 1107 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_EFER_F, &guest_efer);
1289 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_EFER_F, &guest_efer);
2375 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_EFER_F, val);
2452 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_EFER_F, &val);
|
| /barrelfish-master/usr/arrakismon/ |
| H A D | guest.c | 1578 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_EFER_F, &guest_efer);
1759 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_EFER_F, &guest_efer);
2837 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_EFER_F, val);
2912 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_EFER_F, &val);
|
Completed in 110 milliseconds