[GITS_BASER_TYPE_RESERVED7]     = "Reserved (7)",
 };
 
+static u64 its_read_baser(struct its_node *its, struct its_baser *baser)
+{
+       u32 idx = baser - its->tables;
+
+       return readq_relaxed(its->base + GITS_BASER + (idx << 3));
+}
+
+static void its_write_baser(struct its_node *its, struct its_baser *baser,
+                           u64 val)
+{
+       u32 idx = baser - its->tables;
+
+       writeq_relaxed(val, its->base + GITS_BASER + (idx << 3));
+       baser->val = its_read_baser(its, baser);
+}
+
 static void its_free_tables(struct its_node *its)
 {
        int i;
        its->device_ids = ids;
 
        for (i = 0; i < GITS_BASER_NR_REGS; i++) {
-               u64 val = readq_relaxed(its->base + GITS_BASER + i * 8);
+               struct its_baser *baser = its->tables + i;
+               u64 val = its_read_baser(its, baser);
                u64 type = GITS_BASER_TYPE(val);
                u64 entry_size = GITS_BASER_ENTRY_SIZE(val);
                int order = get_order(psz);
                }
 
                val |= alloc_pages - 1;
-               its->tables[i].val = val;
 
-               writeq_relaxed(val, its->base + GITS_BASER + i * 8);
-               tmp = readq_relaxed(its->base + GITS_BASER + i * 8);
+               its_write_baser_cache(its, baser, val);
+               tmp = baser->val;
 
                if ((val ^ tmp) & GITS_BASER_SHAREABILITY_MASK) {
                        /*