GICV5_IRS_IDR1_PRIORITY_BITS
switch (FIELD_GET(GICV5_IRS_IDR1_PRIORITY_BITS, idr1)) {
FIELD_GET(GICV5_IRS_IDR1_PRIORITY_BITS, idr1));