drivers/firmware/psci.c

4  * Based on drivers/firmware/psci.c from Linux:
7  * SPDX-License-Identifier:	GPL-2.0+
14 #include <linux/arm-smccc.h>
16 #include <linux/psci.h>
26 	arm_smccc_hvc(function_id, arg0, arg1, arg2, 0, 0, 0, 0, &res);  in __invoke_psci_fn_hvc()
36 	arm_smccc_smc(function_id, arg0, arg1, arg2, 0, 0, 0, 0, &res);  in __invoke_psci_fn_smc()
42 	/* No SYSTEM_RESET support for PSCI 0.1 */  in psci_bind()
43 	if (device_is_compatible(dev, "arm,psci-0.2") ||  in psci_bind()
44 	    device_is_compatible(dev, "arm,psci-1.0")) {  in psci_bind()
47 		/* bind psci-sysreset optionally */  in psci_bind()
48 		ret = device_bind_driver(dev, "psci-sysreset", "psci-sysreset",  in psci_bind()
51 			debug("PSCI System Reset was not bound.\n");  in psci_bind()
54 	return 0;  in psci_bind()
64 		return -ENXIO;  in psci_probe()
73 		return -EINVAL;  in psci_probe()
76 	return 0;  in psci_probe()
80 	{ .compatible = "arm,psci" },
81 	{ .compatible = "arm,psci-0.2" },
82 	{ .compatible = "arm,psci-1.0" },
86 U_BOOT_DRIVER(psci) = {
87 	.name = "psci",