PROCBASED2_VIRTUALIZE_APIC_ACCESSES
return ((proc_ctls2 & PROCBASED2_VIRTUALIZE_APIC_ACCESSES) ? 1 : 0);
KASSERT((proc_ctls2 & PROCBASED2_VIRTUALIZE_APIC_ACCESSES) != 0,
proc_ctls2 &= ~PROCBASED2_VIRTUALIZE_APIC_ACCESSES;
procbased2_vid_bits = (PROCBASED2_VIRTUALIZE_APIC_ACCESSES |
proc2 & PROCBASED2_VIRTUALIZE_APIC_ACCESSES &&