Lines Matching refs:proc_ctls
1223 vcpu->cap.proc_ctls = procbased_ctls; in vmx_vcpu_init()
1373 if ((vcpu->cap.proc_ctls & PROCBASED_INT_WINDOW_EXITING) == 0) { in vmx_set_int_window_exiting()
1374 vcpu->cap.proc_ctls |= PROCBASED_INT_WINDOW_EXITING; in vmx_set_int_window_exiting()
1375 vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vcpu->cap.proc_ctls); in vmx_set_int_window_exiting()
1384 KASSERT((vcpu->cap.proc_ctls & PROCBASED_INT_WINDOW_EXITING) != 0, in vmx_clear_int_window_exiting()
1385 ("intr_window_exiting not set: %#x", vcpu->cap.proc_ctls)); in vmx_clear_int_window_exiting()
1386 vcpu->cap.proc_ctls &= ~PROCBASED_INT_WINDOW_EXITING; in vmx_clear_int_window_exiting()
1387 vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vcpu->cap.proc_ctls); in vmx_clear_int_window_exiting()
1395 if ((vcpu->cap.proc_ctls & PROCBASED_NMI_WINDOW_EXITING) == 0) { in vmx_set_nmi_window_exiting()
1396 vcpu->cap.proc_ctls |= PROCBASED_NMI_WINDOW_EXITING; in vmx_set_nmi_window_exiting()
1397 vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vcpu->cap.proc_ctls); in vmx_set_nmi_window_exiting()
1406 KASSERT((vcpu->cap.proc_ctls & PROCBASED_NMI_WINDOW_EXITING) != 0, in vmx_clear_nmi_window_exiting()
1407 ("nmi_window_exiting not set %#x", vcpu->cap.proc_ctls)); in vmx_clear_nmi_window_exiting()
1408 vcpu->cap.proc_ctls &= ~PROCBASED_NMI_WINDOW_EXITING; in vmx_clear_nmi_window_exiting()
1409 vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vcpu->cap.proc_ctls); in vmx_clear_nmi_window_exiting()
1418 if ((vcpu->cap.proc_ctls & PROCBASED_TSC_OFFSET) == 0) { in vmx_set_tsc_offset()
1419 vcpu->cap.proc_ctls |= PROCBASED_TSC_OFFSET; in vmx_set_tsc_offset()
1420 vmcs_write(VMCS_PRI_PROC_BASED_CTLS, vcpu->cap.proc_ctls); in vmx_set_tsc_offset()
1555 if ((vcpu->cap.proc_ctls & PROCBASED_INT_WINDOW_EXITING) != 0) { in vmx_inject_interrupts()
3144 if ((vcpu->cap.proc_ctls & PROCBASED_USE_TPR_SHADOW) != 0) { in vmx_run()
3608 pptr = &vcpu->cap.proc_ctls; in vmx_setcap()
3617 pptr = &vcpu->cap.proc_ctls; in vmx_setcap()
3626 pptr = &vcpu->cap.proc_ctls; in vmx_setcap()
3926 uint32_t proc_ctls; in vmx_enable_x2apic_mode_ts() local
3932 proc_ctls = vcpu->cap.proc_ctls; in vmx_enable_x2apic_mode_ts()
3933 proc_ctls &= ~PROCBASED_USE_TPR_SHADOW; in vmx_enable_x2apic_mode_ts()
3934 proc_ctls |= PROCBASED_CR8_LOAD_EXITING; in vmx_enable_x2apic_mode_ts()
3935 proc_ctls |= PROCBASED_CR8_STORE_EXITING; in vmx_enable_x2apic_mode_ts()
3936 vcpu->cap.proc_ctls = proc_ctls; in vmx_enable_x2apic_mode_ts()
3939 vmcs_write(VMCS_PRI_PROC_BASED_CTLS, proc_ctls); in vmx_enable_x2apic_mode_ts()