Symbol: psci_acpi_identify
sys/dev/psci/psci.c
238
static void psci_acpi_identify(driver_t *, device_t);
sys/dev/psci/psci.c
244
DEVMETHOD(device_identify, psci_acpi_identify),