X2AVIC_MAX_PHYSICAL_ID
static_assert((X2AVIC_MAX_PHYSICAL_ID & AVIC_PHYSICAL_MAX_INDEX_MASK) == X2AVIC_MAX_PHYSICAL_ID);
x2avic_max_physical_id = X2AVIC_MAX_PHYSICAL_ID;
(X2AVIC_MAX_PHYSICAL_ID + 1) * sizeof(new_entry) > PAGE_SIZE);