Searched refs:pp_controls (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c41 uint64_t pp_controls; local
42 errval_t err = vmread(VMX_EXEC_PRIM_PROC, &pp_controls);
50 bool sec_ctls_set = sec_ctls_used(pp_controls);
1121 uint64_t pp_controls, sp_controls; local
1122 errval_t err = vmread(VMX_EXEC_PRIM_PROC, &pp_controls);
1130 assert(pp_controls & PP_CLTS_SEC_CTLS);
1166 assert(pp_controls & PP_CLTS_SEC_CTLS);
1219 uint64_t pin_controls, pp_controls, sp_controls; local
1221 err += vmread(VMX_EXEC_PRIM_PROC, &pp_controls);
1227 if (pp_controls
[all...]
/barrelfish-master/kernel/include/arch/x86_64/
H A Dvmx_vmkit.h108 static inline bool sec_ctls_used(uint64_t pp_controls) argument
110 return !!(pp_controls & PP_CLTS_SEC_CTLS);

Completed in 19 milliseconds