diff options
| author | Ed Maste <emaste@FreeBSD.org> | 2017-10-19 16:40:17 +0000 |
|---|---|---|
| committer | Ed Maste <emaste@FreeBSD.org> | 2017-10-19 16:40:17 +0000 |
| commit | a5c9ec376b5978521db674ccbfe234a1a9a3535d (patch) | |
| tree | 176b1900490ba2fc8dc0d1230f3ff898c31bcf26 /sys/dev/psci | |
| parent | 13bacc714438c1589c6c5388ca15bb49dd8c9dd1 (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 ea656bb6be66..83c9bdb9a1a4 100644 --- a/sys/dev/psci/psci.c +++ b/sys/dev/psci/psci.c @@ -495,7 +495,7 @@ psci_v0_2_init(device_t dev) if ((PSCI_VER_MAJOR(version) == 0 && PSCI_VER_MINOR(version) == 2) || PSCI_VER_MAJOR(version) == 1) { if (bootverbose) - device_printf(dev, "PSCI version 0.2 available\n"); + device_printf(dev, "PSCI version 0.2 compatible\n"); /* * We only register this for v0.2 since v0.1 doesn't support |