vgic_v3_rd_region_size
(base < rdreg->base + vgic_v3_rd_region_size(kvm, rdreg)))
size_t sz = vgic_v3_rd_region_size(kvm, rdreg);