firmware: psci: Extend psci_set_osi_mode() to allow reset to PC mode
[linux-2.6-microblaze.git] / drivers / acpi / arm64 /
drwxr-xr-x   ..
-rw-r--r-- 123 Kconfig
-rw-r--r-- 110 Makefile
-rw-r--r-- 11399 gtdt.c
-rw-r--r-- 44150 iort.c