GIC_TRIG_LEVEL
change_gic_redir_trig(i, GIC_TRIG_LEVEL);
trig = GIC_TRIG_LEVEL;
change_gic_trig(i, GIC_TRIG_LEVEL);