acpi_psci_present  134 arch/arm64/include/asm/acpi.h 	if (acpi_psci_present())
acpi_psci_present  578 drivers/firmware/psci/psci.c 	if (!acpi_psci_present()) {
acpi_psci_present   55 include/linux/psci.h bool __init acpi_psci_present(void);