arch/x86_64/vmx_checks.c

41     uint64_t pp_controls;
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;
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;
1221     err += vmread(VMX_EXEC_PRIM_PROC, &pp_controls);
1227     if (pp_controls & PP_CLTS_TPR_SHADOW) {
1261         assert((pp_controls & PP_CLTS_NMI_WINDOW) == 0);
1265         assert(pp_controls & PP_CLTS_SEC_CTLS);
1274         assert(pp_controls & PP_CLTS_SEC_CTLS);
1279         assert(pp_controls & PP_CLTS_SEC_CTLS);
1301         assert(pp_controls & PP_CLTS_SEC_CTLS);
1309         assert(pp_controls & PP_CLTS_SEC_CTLS);