diff options
Diffstat (limited to 'sys/dev')
| -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"); |