KVM_VGIC_V3_DIST_SIZE
size = KVM_VGIC_V3_DIST_SIZE;
d->vgic_dist_base + KVM_VGIC_V3_DIST_SIZE < d->vgic_dist_base)
KVM_VGIC_V3_DIST_SIZE);
(base < d->vgic_dist_base + KVM_VGIC_V3_DIST_SIZE);
#define GICR_BASE_GPA (GICD_BASE_GPA + KVM_VGIC_V3_DIST_SIZE)
nr_gic_pages = vm_calc_num_guest_pages(vm->mode, KVM_VGIC_V3_DIST_SIZE);