pub const MSR_IA32_APICBASE_BASE: u32 = 4294963200;