Searched refs:VMX_EXEC_SEC_PROC (Results 1 - 7 of 7) sorted by relevance
/barrelfish-master/include/barrelfish_kpi/ |
H A D | vmx_encodings.h | 59 #define VMX_EXEC_SEC_PROC 0x401E // Secondary processor-based controls macro
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | vmx_checks.c | 867 err += vmread(VMX_EXEC_SEC_PROC, &sec_ctls); 1123 err += vmread(VMX_EXEC_SEC_PROC, &sp_controls); 1222 err += vmread(VMX_EXEC_SEC_PROC, &sp_controls);
|
H A D | vmx_vmkit.c | 528 err += vmwrite(VMX_EXEC_SEC_PROC, sp_based_ctls);
|
/barrelfish-master/usr/arrakismon/ |
H A D | realmode.c | 348 errval_t err = invoke_dispatcher_vmread(env->dcb_cap, VMX_EXEC_SEC_PROC, &sec_proc_ctrls);
|
H A D | guest.c | 1363 errval_t err = invoke_dispatcher_vmread(g->dcb_cap, VMX_EXEC_SEC_PROC, &sp_controls); 1375 errval_t err = invoke_dispatcher_vmread(g->dcb_cap, VMX_EXEC_SEC_PROC, &sec_proc_ctrls); 1380 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_EXEC_SEC_PROC, 1383 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_EXEC_SEC_PROC,
|
/barrelfish-master/usr/vmkitmon/ |
H A D | realmode.c | 348 errval_t err = invoke_dispatcher_vmread(env->dcb_cap, VMX_EXEC_SEC_PROC, &sec_proc_ctrls);
|
H A D | guest.c | 895 errval_t err = invoke_dispatcher_vmread(g->dcb_cap, VMX_EXEC_SEC_PROC, &sp_controls); 907 errval_t err = invoke_dispatcher_vmread(g->dcb_cap, VMX_EXEC_SEC_PROC, &sec_proc_ctrls); 912 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_EXEC_SEC_PROC, 915 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_EXEC_SEC_PROC,
|
Completed in 139 milliseconds