acpi_psci_use_hvc  981 drivers/firmware/arm_sdei.c 		if (acpi_psci_use_hvc()) {
acpi_psci_use_hvc  585 drivers/firmware/psci/psci.c 	if (acpi_psci_use_hvc())
acpi_psci_use_hvc   56 include/linux/psci.h bool acpi_psci_use_hvc(void);