diff options
| author | Andrew Turner <andrew@FreeBSD.org> | 2017-10-19 13:22:52 +0000 |
|---|---|---|
| committer | Andrew Turner <andrew@FreeBSD.org> | 2017-10-19 13:22:52 +0000 |
| commit | 833a983e5e36db2432043e4c7495d9f13954f7c6 (patch) | |
| tree | 780d6fb3f5cac7750396b7cd33322f8c55b20558 /sys/dev/psci | |
| parent | 027bebe8e1be3f30c262cde5075f91613a246e63 (diff) | |
Notes
Diffstat (limited to 'sys/dev/psci')
| -rw-r--r-- | sys/dev/psci/psci.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/dev/psci/psci.c b/sys/dev/psci/psci.c index b62962f5818a..ea656bb6be66 100644 --- a/sys/dev/psci/psci.c +++ b/sys/dev/psci/psci.c @@ -493,7 +493,7 @@ psci_v0_2_init(device_t dev) return (1); if ((PSCI_VER_MAJOR(version) == 0 && PSCI_VER_MINOR(version) == 2) || - (PSCI_VER_MAJOR(version) == 1 && PSCI_VER_MINOR(version) == 0)) { + PSCI_VER_MAJOR(version) == 1) { if (bootverbose) device_printf(dev, "PSCI version 0.2 available\n"); |