xAPIC_MAX_APIC_ID
max_apic_id = min(max_apic_id, xAPIC_MAX_APIC_ID);
_Static_assert(xAPIC_MAX_APIC_ID <= MAX_APIC_ID,
intr_apic_id_limit = xAPIC_MAX_APIC_ID;