dev/arm/gic_v3_its.cc

148     const Addr base = its.pageAddress(Gicv3Its::DEVICE_TABLE);
149     const Addr address = base + (device_id * sizeof(dte));
171     const Addr base = its.pageAddress(Gicv3Its::COLLECTION_TABLE);
172     const Addr address = base + (collection_id * sizeof(cte));
183     const Addr base = its.pageAddress(Gicv3Its::DEVICE_TABLE);
184     const Addr address = base + (device_id * sizeof(dte));
209     const Addr base = its.pageAddress(Gicv3Its::COLLECTION_TABLE);
210     const Addr address = base + (collection_id * sizeof(cte));
1254     const BASER base = *base_it;
1257     switch (base.pageSize) {
1260         return mbits(base, 47, 12);
1262         return mbits(base, 47, 16) | (bits(base, 15, 12) << 48);