firmware: psci: Extend psci_set_osi_mode() to allow reset to PC mode
[linux-2.6-microblaze.git] / scripts / coccinelle / locks /
drwxr-xr-x   ..
-rw-r--r-- 2179 call_kern.cocci
-rw-r--r-- 1575 double_lock.cocci
-rw-r--r-- 1589 flags.cocci
-rw-r--r-- 1791 mini_lock.cocci