Re: [PATCH 1/2] drivers: firmware: psci: Add psci_is_available()

2017-10-12 Thread Geert Uytterhoeven
Hi Jisheng, On Thu, Oct 12, 2017 at 4:58 AM, Jisheng Zhang wrote: > On Wed, 11 Oct 2017 10:03:01 +0200 Geert Uytterhoeven wrote: > >> PSCI support may be disabled at build time (by configuration) or at >> run-time (PSCI firmware not present). While

Re: [PATCH 1/2] drivers: firmware: psci: Add psci_is_available()

2017-10-11 Thread Jisheng Zhang
On Wed, 11 Oct 2017 10:03:01 +0200 Geert Uytterhoeven wrote: > 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

[PATCH 1/2] drivers: firmware: psci: Add psci_is_available()

2017-10-11 Thread Geert Uytterhoeven
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. Hence add a helper function to