Lines Matching refs:proc_ctls
1155 vmx->cap[i].proc_ctls = procbased_ctls;
1316 if ((vmx->cap[vcpu].proc_ctls & PROCBASED_INT_WINDOW_EXITING) == 0) {
1317 vmx->cap[vcpu].proc_ctls |= PROCBASED_INT_WINDOW_EXITING;
1318 vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vmx->cap[vcpu].proc_ctls);
1327 KASSERT((vmx->cap[vcpu].proc_ctls & PROCBASED_INT_WINDOW_EXITING) != 0,
1328 ("intr_window_exiting not set: %#x", vmx->cap[vcpu].proc_ctls));
1329 vmx->cap[vcpu].proc_ctls &= ~PROCBASED_INT_WINDOW_EXITING;
1330 vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vmx->cap[vcpu].proc_ctls);
1338 if ((vmx->cap[vcpu].proc_ctls & PROCBASED_NMI_WINDOW_EXITING) == 0) {
1339 vmx->cap[vcpu].proc_ctls |= PROCBASED_NMI_WINDOW_EXITING;
1340 vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vmx->cap[vcpu].proc_ctls);
1349 KASSERT((vmx->cap[vcpu].proc_ctls & PROCBASED_NMI_WINDOW_EXITING) != 0,
1350 ("nmi_window_exiting not set %#x", vmx->cap[vcpu].proc_ctls));
1351 vmx->cap[vcpu].proc_ctls &= ~PROCBASED_NMI_WINDOW_EXITING;
1352 vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vmx->cap[vcpu].proc_ctls);
1361 if ((vmx->cap[vcpu].proc_ctls & PROCBASED_TSC_OFFSET) == 0) {
1362 vmx->cap[vcpu].proc_ctls |= PROCBASED_TSC_OFFSET;
1363 vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vmx->cap[vcpu].proc_ctls);
1491 if ((vmx->cap[vcpu].proc_ctls & PROCBASED_INT_WINDOW_EXITING) != 0) {
3062 if ((vmx->cap[vcpu].proc_ctls & PROCBASED_USE_TPR_SHADOW) != 0) {
3504 pptr = &vmx->cap[vcpu].proc_ctls;
3513 pptr = &vmx->cap[vcpu].proc_ctls;
3522 pptr = &vmx->cap[vcpu].proc_ctls;
3809 uint32_t proc_ctls;
3816 proc_ctls = vmx->cap[vcpuid].proc_ctls;
3817 proc_ctls &= ~PROCBASED_USE_TPR_SHADOW;
3818 proc_ctls |= PROCBASED_CR8_LOAD_EXITING;
3819 proc_ctls |= PROCBASED_CR8_STORE_EXITING;
3820 vmx->cap[vcpuid].proc_ctls = proc_ctls;
3823 vmcs_write(VMCS_PRI_PROC_BASED_CTLS, proc_ctls);