GITS_TRKCTLR
gic_its_read_4(sc, GITS_TRKCTLR));
gic_its_write_8(sc, GITS_TRKCTLR, 3);
gic_its_write_8(sc, GITS_TRKCTLR, 0);