diff --git a/xen/arch/arm/psci.c b/xen/arch/arm/psci.c
index 634d0d7467..967cb4b77d 100644
--- a/xen/arch/arm/psci.c
+++ b/xen/arch/arm/psci.c
@@ -198,6 +198,7 @@ static int __init psci_init_0_2(void)
     {
         printk("Error: Unrecognized PSCI version %u.%u\n",
                PSCI_VERSION_MAJOR(psci_ver), PSCI_VERSION_MINOR(psci_ver));
+        psci_ver = 0;
         return -EOPNOTSUPP;
     }