psci_probe        491 drivers/firmware/psci/psci.c 	return psci_probe();
psci_probe        590 drivers/firmware/psci/psci.c 	return psci_probe();