diff options
Diffstat (limited to 'sys/dev/psci/psci.c')
-rw-r--r-- | sys/dev/psci/psci.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/sys/dev/psci/psci.c b/sys/dev/psci/psci.c index 4452fb45955d..4ae97eccc45a 100644 --- a/sys/dev/psci/psci.c +++ b/sys/dev/psci/psci.c @@ -412,6 +412,13 @@ psci_shutdown(void *xsc, int howto) /* System reset and off do not return. */ } +void +psci_reset(void) +{ + + psci_shutdown(NULL, 0); +} + #ifdef FDT /* Only support PSCI 0.1 on FDT */ static int |