Symbol: gicv5_alloc_lpi