GICV5_ITS_IDR2_EVENTID_BITS
if (event_id_bits > FIELD_GET(GICV5_ITS_IDR2_EVENTID_BITS, idr2)) {
(u8)FIELD_GET(GICV5_ITS_IDR2_EVENTID_BITS, idr2));