its_read_u64
u64 cwriter = its_read_u64(GITS_CWRITER);
u64 cbaser = its_read_u64(GITS_CBASER);
for (i = 0; its_read_u64(GITS_CREADR) != next; i++) {
baser = its_read_u64(offset);