Symbol: gic_v2m_msi_alloc_spi