IRS_CR0
return (gicv5_wait_for_op(irs, IRS_CR0, IRS_CR0_IDLE, NULL));
IRS_CFG_WRITE_4(irs, IRS_CR0, IRS_CR0_IRSEN);