diff options
| author | Andrew Turner <andrew@FreeBSD.org> | 2015-08-11 13:42:58 +0000 |
|---|---|---|
| committer | Andrew Turner <andrew@FreeBSD.org> | 2015-08-11 13:42:58 +0000 |
| commit | 6e3244f59424f8d4d6ecde240a81728010c74923 (patch) | |
| tree | 808f6c95a7f707400b411074aff527c7a3c55d53 /sys/dev/psci | |
| parent | 0447c1367a819a8d0e3cfb2183b8f8e3e23eba28 (diff) | |
Notes
Diffstat (limited to 'sys/dev/psci')
| -rw-r--r-- | sys/dev/psci/psci.c | 27 |
1 files changed, 14 insertions, 13 deletions
diff --git a/sys/dev/psci/psci.c b/sys/dev/psci/psci.c index 4554fa6cd0fd..c5fe0fbc443e 100644 --- a/sys/dev/psci/psci.c +++ b/sys/dev/psci/psci.c @@ -288,20 +288,21 @@ psci_v0_2_init(device_t dev) if (version == PSCI_RETVAL_NOT_SUPPORTED) return (1); - if ((PSCI_VER_MAJOR(version) != 0) && (PSCI_VER_MINOR(version) != 2)) { - device_printf(dev, "PSCI version number mismatched with DT\n"); - return (1); - } + if ((PSCI_VER_MAJOR(version) == 0 && PSCI_VER_MINOR(version) == 2) || + (PSCI_VER_MAJOR(version) == 1 && PSCI_VER_MINOR(version) == 0)) { + if (bootverbose) + device_printf(dev, "PSCI version 0.2 available\n"); - if (bootverbose) - device_printf(dev, "PSCI version 0.2 available\n"); + /* + * We only register this for v0.2 since v0.1 doesn't support + * system_reset. + */ + EVENTHANDLER_REGISTER(shutdown_final, psci_shutdown, sc, + SHUTDOWN_PRI_LAST); - /* - * We only register this for v0.2 since v0.1 doesn't support - * system_reset. - */ - EVENTHANDLER_REGISTER(shutdown_final, psci_shutdown, sc, - SHUTDOWN_PRI_LAST); + return (0); + } - return (0); + device_printf(dev, "PSCI version number mismatched with DT\n"); + return (1); } |