Hi Mark, Lorenzo,
PSCI support may be disabled at build time (by configuration) or at
run-time (PSCI firmware not present). While CONFIG_ARM_PSCI_FW can be
used to check for build time enablement, there is currently no simple
way to check if PSCI is actually available and used.
The first patch adds a helper function to check if PSCI is available.
This is useful for e.g. drivers that are used on platforms with and
without PSCI. Such drivers may need to take provisions for proper
operation when PSCI is used, and/or to implement functionality that is
usually provided by PSCI.
The second patch makes the PSCI checker use the new helper.
Thanks for your comments!
Geert Uytterhoeven (2):
drivers: firmware: psci: Add psci_is_available()
drivers: psci: checker: Use psci_is_available()
drivers/firmware/psci.c | 5 +++++
drivers/firmware/psci_checker.c | 2 +-
include/linux/psci.h | 2 ++
3 files changed, 8 insertions(+), 1 deletion(-)
--
2.7.4
Gr{oetje,eeting}s,
Geert
--
Geert Uytterhoeven -- There's lots of Linux beyond ia32 -- geert@xxxxxxxxxxxxxx
In personal conversations with technical people, I call myself a hacker. But
when I'm talking to journalists I just say "programmer" or something like that.
-- Linus Torvalds
