pub const MSR_IA32_APICBASE_EXTD: u32 = 1024;