__gicv5_iwb_set_wire_enable
return __gicv5_iwb_set_wire_enable(iwb_node, iwb_wire, true);
return __gicv5_iwb_set_wire_enable(iwb_node, iwb_wire, false);