KVM_VGIC_V2_DIST_SIZE
size = KVM_VGIC_V2_DIST_SIZE;
SZ_4K, KVM_VGIC_V2_DIST_SIZE);
if (dist_base + KVM_VGIC_V2_DIST_SIZE < dist_base)
if (dist_base + KVM_VGIC_V2_DIST_SIZE <= cpu_base)