gicv5_enable_intr_action
smp_rendezvous(NULL, gicv5_enable_intr_action, NULL, gbi);
gicv5_enable_intr_action(isrc);