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