Symbol: gicv3_its_alloc_eventid