drivers/firmware/psci.c

1 // SPDX-License-Identifier: GPL-2.0+
5  * Based on drivers/firmware/psci.c from Linux:
14 #include <linux/arm-smccc.h>
17 #include <linux/psci.h>
19 #define DRIVER_NAME "psci"
21 #define PSCI_METHOD_HVC 1
49 	/* No SYSTEM_RESET support for PSCI 0.1 */  in psci_bind()
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()
58 			pr_debug("PSCI System Reset was not bound.\n");  in psci_bind()
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
119 	while (1)  in efi_reset_system()
150 	{ .compatible = "arm,psci" },
151 	{ .compatible = "arm,psci-0.2" },
152 	{ .compatible = "arm,psci-1.0" },
156 U_BOOT_DRIVER(psci) = {