GITS_CREADR
read_idx = gic_its_read_4(sc, GITS_CREADR) / sizeof(struct its_cmd);
read = gic_its_read_8(sc, GITS_CREADR);