Searched refs:VMX_ENTRY_INTR_INFO (Results 1 - 4 of 4) sorted by relevance
| /barrelfish-master/include/barrelfish_kpi/ |
| H A D | vmx_encodings.h | 55 #define VMX_ENTRY_INTR_INFO 0x4016 // VM-entry interruption-information field macro
|
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | vmx_vmkit.c | 536 err += vmwrite(VMX_ENTRY_INTR_INFO, 0);
883 err += vmread(VMX_ENTRY_INTR_INFO, &entry_intr_info);
|
| /barrelfish-master/usr/vmkitmon/ |
| H A D | guest.c | 619 errval_t err = invoke_dispatcher_vmread(g->dcb_cap, VMX_ENTRY_INTR_INFO, &info);
677 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_ENTRY_INTR_INFO, info);
|
| /barrelfish-master/usr/arrakismon/ |
| H A D | guest.c | 1093 errval_t err = invoke_dispatcher_vmread(g->dcb_cap, VMX_ENTRY_INTR_INFO, &info);
1151 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_ENTRY_INTR_INFO, info);
|
Completed in 117 milliseconds