Symbol: psci_acpi_bootflags
sys/dev/psci/psci.c
302
flags = psci_acpi_bootflags();
sys/dev/psci/psci.c
414
flags = psci_acpi_bootflags();