Searched refs:psci_reset (Results 1 - 3 of 3) sorted by relevance
| /freebsd-12-stable/sys/dev/psci/ | ||
| H A D | psci.h | 40 void psci_reset(void); |
| H A D | psci.c | 479 psci_reset(void) function |
| /freebsd-12-stable/sys/arm64/arm64/ | ||
| H A D | vm_machdep.c | 121 psci_reset(); |
Completed in 194 milliseconds