its_write_u64
its_write_u64(GITS_CWRITER, next);
its_write_u64(offset, baser);
its_write_u64(GITS_CBASER, cbaser);