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
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
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