Symbol: gicv5_init_lpi_domain