Google Git
Sign in
gbmc / linux / 619d996c86421da1057d589123a28e2da0bf0785 / . / drivers / firmware / psci
tree: 02a9a17942637ffd02df692c4209255ab140ac66 [path history] [tgz]
  1. Kconfig
  2. Makefile
  3. psci.c
  4. psci_checker.c