pub const UNASSIGNED_APIC_ID: u32 = 4294967295;