GITS_CTLR
ctlr = gic_its_read_4(sc, GITS_CTLR);
gic_its_write_4(sc, GITS_CTLR, ctlr);
gic_its_write_4(sc, GITS_CTLR, ctlr | GITS_CTLR_EN);