firmware: psci: Extend psci_set_osi_mode() to allow reset to PC mode
[linux-2.6-microblaze.git] / scripts / gdb /
drwxr-xr-x   ..
-rw-r--r-- 58 Makefile
drwxr-xr-x - linux
-rw-r--r-- 864 vmlinux-gdb.py