|
@@ -65,6 +65,8 @@ int fdt_psci(void *fdt)
|
|
init_psci_node:
|
|
init_psci_node:
|
|
#ifdef CONFIG_ARMV8_SEC_FIRMWARE_SUPPORT
|
|
#ifdef CONFIG_ARMV8_SEC_FIRMWARE_SUPPORT
|
|
psci_ver = sec_firmware_support_psci_version();
|
|
psci_ver = sec_firmware_support_psci_version();
|
|
|
|
+#elif defined(CONFIG_ARMV7_PSCI_1_0)
|
|
|
|
+ psci_ver = ARM_PSCI_VER_1_0;
|
|
#endif
|
|
#endif
|
|
switch (psci_ver) {
|
|
switch (psci_ver) {
|
|
case ARM_PSCI_VER_1_0:
|
|
case ARM_PSCI_VER_1_0:
|