|
|
@@ -215,6 +215,22 @@ int vgic_v3_probe(struct device_node *vgic_node,
|
|
|
ret = -ENXIO;
|
|
|
goto out;
|
|
|
}
|
|
|
+
|
|
|
+ if (!PAGE_ALIGNED(vcpu_res.start)) {
|
|
|
+ kvm_err("GICV physical address 0x%llx not page aligned\n",
|
|
|
+ (unsigned long long)vcpu_res.start);
|
|
|
+ ret = -ENXIO;
|
|
|
+ goto out;
|
|
|
+ }
|
|
|
+
|
|
|
+ if (!PAGE_ALIGNED(resource_size(&vcpu_res))) {
|
|
|
+ kvm_err("GICV size 0x%llx not a multiple of page size 0x%lx\n",
|
|
|
+ (unsigned long long)resource_size(&vcpu_res),
|
|
|
+ PAGE_SIZE);
|
|
|
+ ret = -ENXIO;
|
|
|
+ goto out;
|
|
|
+ }
|
|
|
+
|
|
|
vgic->vcpu_base = vcpu_res.start;
|
|
|
vgic->vctrl_base = NULL;
|
|
|
vgic->type = VGIC_V3;
|