porta: gpio-controller@0 {
compatible = "snps,dw-apb-gpio-port";
porta: gpio-controller@0 {
compatible = "snps,dw-apb-gpio-port";
portb: gpio-controller@0 {
compatible = "snps,dw-apb-gpio-port";
portb: gpio-controller@0 {
compatible = "snps,dw-apb-gpio-port";
portc: gpio-controller@0 {
compatible = "snps,dw-apb-gpio-port";
portc: gpio-controller@0 {
compatible = "snps,dw-apb-gpio-port";
compatible = "altr,socfpga-dw-mshc";
reg = <0xff704000 0x1000>;
interrupts = <0 139 4>;
compatible = "altr,socfpga-dw-mshc";
reg = <0xff704000 0x1000>;
interrupts = <0 139 4>;