GITS_CTLR
ctlr = gits_read_4(its, GITS_CTLR);
gits_write_4(its, GITS_CTLR, ctlr);
KASSERT((gits_read_4(its, GITS_CTLR) & GITS_CTLR_Enabled) == 0);
KASSERT((gits_read_4(its, GITS_CTLR) & GITS_CTLR_Quiescent) != 0);