GITS_CTLR_EN
if ((ctlr & GITS_CTLR_EN) != 0) {
ctlr &= ~GITS_CTLR_EN;
gic_its_write_4(sc, GITS_CTLR, ctlr | GITS_CTLR_EN);