Lines Matching full:psci

4  * Based on drivers/firmware/psci.c from Linux:
16 #include <linux/psci.h>
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()
80 	{ .compatible = "arm,psci" },
81 	{ .compatible = "arm,psci-0.2" },
82 	{ .compatible = "arm,psci-1.0" },
86 U_BOOT_DRIVER(psci) = {
87 	.name = "psci",