Loading...
Note: /drivers/firmware/psci does not exist in v3.1
| Parent directory | |
| Kconfig | 486 bytes |
| Makefile | 122 bytes |
| psci.c | 13671 bytes |
| psci_checker.c | 12542 bytes |
| Parent directory | |
| Kconfig | 486 bytes |
| Makefile | 122 bytes |
| psci.c | 13671 bytes |
| psci_checker.c | 12542 bytes |