GIC_POL_ACTIVE_HIGH
change_gic_redir_pol(i, GIC_POL_ACTIVE_HIGH);
pol = GIC_POL_ACTIVE_HIGH;
change_gic_pol(i, GIC_POL_ACTIVE_HIGH);