PROCBASED2_VIRTUALIZE_X2APIC_MODE
return ((proc_ctls2 & PROCBASED2_VIRTUALIZE_X2APIC_MODE) ? 1 : 0);
proc_ctls2 |= PROCBASED2_VIRTUALIZE_X2APIC_MODE;
PROCBASED2_VIRTUALIZE_X2APIC_MODE |