Lines Matching defs:proc_ctls2
1222 vcpu->cap.proc_ctls2 = procbased_ctls2;
2159 uint32_t proc_ctls2;
2161 proc_ctls2 = vcpu->cap.proc_ctls2;
2162 return ((proc_ctls2 & PROCBASED2_VIRTUALIZE_APIC_ACCESSES) ? 1 : 0);
2168 uint32_t proc_ctls2;
2170 proc_ctls2 = vcpu->cap.proc_ctls2;
2171 return ((proc_ctls2 & PROCBASED2_VIRTUALIZE_X2APIC_MODE) ? 1 : 0);
3644 pptr = &vcpu->cap.proc_ctls2;
3653 pptr = &vcpu->cap.proc_ctls2;
3948 uint32_t proc_ctls2;
3956 proc_ctls2 = vcpu->cap.proc_ctls2;
3957 KASSERT((proc_ctls2 & PROCBASED2_VIRTUALIZE_APIC_ACCESSES) != 0,
3958 ("%s: invalid proc_ctls2 %#x", __func__, proc_ctls2));
3960 proc_ctls2 &= ~PROCBASED2_VIRTUALIZE_APIC_ACCESSES;
3961 proc_ctls2 |= PROCBASED2_VIRTUALIZE_X2APIC_MODE;
3962 vcpu->cap.proc_ctls2 = proc_ctls2;
3965 vmcs_write(VMCS_SEC_PROC_BASED_CTLS, proc_ctls2);