]> asedeno.scripts.mit.edu Git - linux.git/tree - drivers/firmware/psci/
Merge tag 'vfio-v5.5-rc1' of git://github.com/awilliam/linux-vfio
[linux.git] / drivers / firmware / psci /
drwxr-xr-x   ..
-rw-r--r-- 486 Kconfig
-rw-r--r-- 122 Makefile
-rw-r--r-- 13570 psci.c
-rw-r--r-- 12926 psci_checker.c