GITS_CTLR_ITS_NUMBER
ctlr &= ~GITS_CTLR_ITS_NUMBER;
if ((ctlr & GITS_CTLR_ITS_NUMBER) != (its_number << GITS_CTLR_ITS_NUMBER_SHIFT)) {
its_number = ctlr & GITS_CTLR_ITS_NUMBER;