Lines Matching full:psci

5  * Based on drivers/firmware/psci.c from Linux:
17 #include <linux/psci.h>
19 #define DRIVER_NAME "psci"
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()
89  * void do_psci_probe() - probe PSCI firmware driver
150 	{ .compatible = "arm,psci" },
151 	{ .compatible = "arm,psci-0.2" },
152 	{ .compatible = "arm,psci-1.0" },
156 U_BOOT_DRIVER(psci) = {