Symbol: psci_available
sys/arch/arm/acpi/acpi_platform.c
405
if (psci_available()) {
sys/arch/arm/arm/psci.h
83
bool psci_available(void);
sys/arch/arm/arm/smccc.c
69
if (!psci_available() || psci_version() < PSCI_VERSION_1_0) {
sys/arch/arm/fdt/acpi_fdt.c
132
if (psci_available()) {