pub const MSR_IA32_APICBASE_BSP: u32 = 256;