Lines Matching +full:psci +full:- +full:0
1 // SPDX-License-Identifier: GPL-2.0
14 stdout-path = "serial0:115200n8";
19 reg = <0x0 0x80000000 0x0 0xc0000000>;
29 clock-frequency = <400000>;
33 nvidia,invert-interrupt;
39 bus-width = <8>;
40 non-removable;
43 clk32k_in: clock@0 {
44 compatible = "fixed-clock";
45 clock-frequency = <32768>;
46 #clock-cells = <0>;
50 cpu@0 {
51 enable-method = "psci";
55 enable-method = "psci";
59 enable-method = "psci";
63 enable-method = "psci";
67 psci {
68 compatible = "arm,psci-0.2";