Symbol: mp_irqdomain_alloc