Symbol: gicv2m_allocate_domains