MSR_IA32_APICBASE_BSP
is_bsp = !!(msr & MSR_IA32_APICBASE_BSP);
msr_val |= MSR_IA32_APICBASE_BSP;
(kvm_vcpu_is_reset_bsp(vcpu) ? MSR_IA32_APICBASE_BSP : 0);
return (vcpu->arch.apic_base & MSR_IA32_APICBASE_BSP) != 0;
val |= MSR_IA32_APICBASE_BSP;
val &= ~MSR_IA32_APICBASE_BSP;
return rdmsr(MSR_IA32_APICBASE) & MSR_IA32_APICBASE_BSP;