Symbol: GICv4_ITS_LIST_MAX