20fb50295b
The core device API performs extra housekeeping bits that are missing
from directly calling cpu_up/down().
See commit
|
||
---|---|---|
.. | ||
Kconfig | ||
Makefile | ||
psci.c | ||
psci_checker.c |