const APIC_BASE_MASK: u64 = 0xFFFF_FFFF_FFFF_F000;