aboutsummaryrefslogtreecommitdiff
path: root/sys/dev/psci/psci.c
diff options
context:
space:
mode:
authorAndrew Turner <andrew@FreeBSD.org>2018-06-13 12:32:04 +0000
committerAndrew Turner <andrew@FreeBSD.org>2018-06-13 12:32:04 +0000
commit4493861b9a5962b39240082971438184cc00733d (patch)
treead1eb7a9a7948fd255b049a697ef8370e3ff5384 /sys/dev/psci/psci.c
parent811880f2a46be5039faa048ee7822c4e118ac741 (diff)
downloadsrc-4493861b9a5962b39240082971438184cc00733d.tar.gz
src-4493861b9a5962b39240082971438184cc00733d.zip
Find and cache the PSCI version on driver attach.
Sponsored by: DARPA, AFRL
Notes
Notes: svn path=/head/; revision=335055
Diffstat (limited to 'sys/dev/psci/psci.c')
-rw-r--r--sys/dev/psci/psci.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/sys/dev/psci/psci.c b/sys/dev/psci/psci.c
index f01ef14bb1c9..b02ce11add08 100644
--- a/sys/dev/psci/psci.c
+++ b/sys/dev/psci/psci.c
@@ -74,6 +74,7 @@ __FBSDID("$FreeBSD$");
struct psci_softc {
device_t dev;
+ uint32_t psci_version;
uint32_t psci_fnids[PSCI_FN_MAX];
};
@@ -493,6 +494,7 @@ psci_v0_1_init(device_t dev)
sc->psci_fnids[PSCI_FN_MIGRATE] = psci_fnid;
}
+ sc->psci_version = (0 << 16) | 1;
if (bootverbose)
device_printf(dev, "PSCI version 0.1 available\n");
@@ -523,6 +525,7 @@ psci_v0_2_init(device_t dev)
if (version == PSCI_RETVAL_NOT_SUPPORTED)
return (1);
+ sc->psci_version = version;
if ((PSCI_VER_MAJOR(version) == 0 && PSCI_VER_MINOR(version) == 2) ||
PSCI_VER_MAJOR(version) == 1) {
if (bootverbose)