1 // SPDX-License-Identifier: GPL-2.0+
13 #include <linux/libfdt.h>
14 #include <linux/arm-smccc.h>
47 static int psci_bind(struct udevice *dev)  in psci_bind()  argument
50 	if (device_is_compatible(dev, "arm,psci-0.2") ||  in psci_bind()
51 	    device_is_compatible(dev, "arm,psci-1.0")) {  in psci_bind()
54 		/* bind psci-sysreset optionally */  in psci_bind()
55 		ret = device_bind_driver(dev, "psci-sysreset", "psci-sysreset",  in psci_bind()
64 static int psci_probe(struct udevice *dev)  in psci_probe()  argument
69 	method = fdt_stringlist_get(gd->fdt_blob, dev_of_offset(dev), "method",  in psci_probe()
73 		return -ENXIO;  in psci_probe()
82 		return -EINVAL;  in psci_probe()
89  * void do_psci_probe() - probe PSCI firmware driver
95 	struct udevice *dev;  in do_psci_probe()  local
97 	uclass_get_device_by_name(UCLASS_FIRMWARE, DRIVER_NAME, &dev);  in do_psci_probe()
151 	{ .compatible = "arm,psci-0.2" },
152 	{ .compatible = "arm,psci-1.0" },