ARM: dtsi: rk3228: add psci support
[firefly-linux-kernel-4.4.55.git] / kernel / cpu /
drwxr-xr-x   ..
-rw-r--r-- 15 Makefile
-rw-r--r-- 3073 idle.c