GITS_CTLR_Enabled
ctlr |= GITS_CTLR_Enabled;
KASSERT((gits_read_4(its, GITS_CTLR) & GITS_CTLR_Enabled) == 0);