2 files changed, 9 insertions, 8 deletions

diff --git a/sys/dev/psci/psci.c b/sys/dev/psci/psci.c
index bec5f9e8b7f1..f06d055231e7 100644
--- a/sys/dev/psci/psci.c
+++ b/sys/dev/psci/psci.c
@@ -110,14 +110,7 @@ static void psci_shutdown(void *, int);
 static int psci_find_callfn(psci_callfn_t *);
 static int psci_def_callfn(register_t, register_t, register_t, register_t);
 
-static psci_callfn_t psci_callfn = psci_def_callfn;
-
-static inline int
-psci_call(register_t a, register_t b, register_t c, register_t d)
-{
-
-	return (psci_callfn(a, b, c, d));
-}
+psci_callfn_t psci_callfn = psci_def_callfn;
 
 static void
 psci_init(void *dummy)
diff --git a/sys/dev/psci/psci.h b/sys/dev/psci/psci.h
index d636c3fcd978..45f2da28350d 100644
--- a/sys/dev/psci/psci.h
+++ b/sys/dev/psci/psci.h
@@ -41,6 +41,14 @@ void	psci_reset(void);
 int32_t	psci_features(uint32_t);
 int	psci_get_version(void);
 
+/* Handler to let us call into the PSCI/SMCCC firmware */
+extern psci_callfn_t psci_callfn;
+static inline int
+psci_call(register_t a, register_t b, register_t c, register_t d)
+{
+
+	return (psci_callfn(a, b, c, d));
+}
 /* One of these handlers will be selected during the boot */
 int	psci_hvc_despatch(register_t, register_t, register_t, register_t);
 int	psci_smc_despatch(register_t, register_t, register_t, register_t);