Lines Matching refs:proc_ctls2
1224 vcpu->cap.proc_ctls2 = procbased_ctls2; in vmx_vcpu_init()
2161 uint32_t proc_ctls2; in apic_access_virtualization() local
2163 proc_ctls2 = vcpu->cap.proc_ctls2; in apic_access_virtualization()
2164 return ((proc_ctls2 & PROCBASED2_VIRTUALIZE_APIC_ACCESSES) ? 1 : 0); in apic_access_virtualization()
2170 uint32_t proc_ctls2; in x2apic_virtualization() local
2172 proc_ctls2 = vcpu->cap.proc_ctls2; in x2apic_virtualization()
2173 return ((proc_ctls2 & PROCBASED2_VIRTUALIZE_X2APIC_MODE) ? 1 : 0); in x2apic_virtualization()
3648 pptr = &vcpu->cap.proc_ctls2; in vmx_setcap()
3657 pptr = &vcpu->cap.proc_ctls2; in vmx_setcap()
3952 uint32_t proc_ctls2; in vmx_enable_x2apic_mode_vid() local
3960 proc_ctls2 = vcpu->cap.proc_ctls2; in vmx_enable_x2apic_mode_vid()
3961 KASSERT((proc_ctls2 & PROCBASED2_VIRTUALIZE_APIC_ACCESSES) != 0, in vmx_enable_x2apic_mode_vid()
3962 ("%s: invalid proc_ctls2 %#x", __func__, proc_ctls2)); in vmx_enable_x2apic_mode_vid()
3964 proc_ctls2 &= ~PROCBASED2_VIRTUALIZE_APIC_ACCESSES; in vmx_enable_x2apic_mode_vid()
3965 proc_ctls2 |= PROCBASED2_VIRTUALIZE_X2APIC_MODE; in vmx_enable_x2apic_mode_vid()
3966 vcpu->cap.proc_ctls2 = proc_ctls2; in vmx_enable_x2apic_mode_vid()
3969 vmcs_write(VMCS_SEC_PROC_BASED_CTLS, proc_ctls2); in vmx_enable_x2apic_mode_vid()