Searched refs:VMX_EXEC_SEC_PROC (Results 1 - 7 of 7) sorted by relevance

/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h59 #define VMX_EXEC_SEC_PROC 0x401E // Secondary processor-based controls macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c867 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 Dvmx_vmkit.c528 err += vmwrite(VMX_EXEC_SEC_PROC, sp_based_ctls);
/barrelfish-master/usr/arrakismon/
H A Drealmode.c348 errval_t err = invoke_dispatcher_vmread(env->dcb_cap, VMX_EXEC_SEC_PROC, &sec_proc_ctrls);
H A Dguest.c1363 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 Drealmode.c348 errval_t err = invoke_dispatcher_vmread(env->dcb_cap, VMX_EXEC_SEC_PROC, &sec_proc_ctrls);
H A Dguest.c895 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