Searched refs:psci_system_reboot (Results 1 – 2 of 2) sorted by relevance
| /libcpu/aarch64/common/include/ | ||
| A D | psci.h | 142 void psci_system_reboot(void); |
| /libcpu/aarch64/common/ | ||
| A D | psci.c | 199 void psci_system_reboot(void) in psci_system_reboot() function |
Completed in 5 milliseconds