Symbol: acpi_psci_use_hvc
drivers/firmware/arm_sdei.c
945
if (acpi_psci_use_hvc()) {
drivers/firmware/psci/psci.c
833
if (acpi_psci_use_hvc())
include/linux/psci.h
55
bool acpi_psci_use_hvc(void);