gicv5_its_dcache_clean
gicv5_its_dcache_clean(its, itt, num_ents * sizeof(*itt));
gicv5_its_dcache_clean(its, itt_l2, l2sz);
gicv5_its_dcache_clean(its, itt_l1, num_ents * sizeof(*itt_l1));
gicv5_its_dcache_clean(its, devtab, sz);
gicv5_its_dcache_clean(its, l1devtab, l1_sz);
gicv5_its_dcache_clean(its, entry, sizeof(*entry));