commit 7defc7bf9c32f241e8bec0b17eb8ae928309e52b
Author: Phil Elwell <phil@raspberrypi.org>
Date:   Wed Mar 25 18:06:18 2015 +0000

    BCM270x_DT: Add interrupt pin to enc28j60-overlay
    
    Load with "dtoverlay=enc28j60,int_pin=25" (or whatever your pin is)
    SPI bus frequency can be set using the "speed" parameter.

diff --git a/arch/arm/boot/dts/enc28j60-overlay.dts b/arch/arm/boot/dts/enc28j60-overlay.dts
index aa9b645..8fae869 100755
--- a/arch/arm/boot/dts/enc28j60-overlay.dts
+++ b/arch/arm/boot/dts/enc28j60-overlay.dts
@@ -18,12 +18,33 @@
 				status = "disabled";
 			};
 
-			enc28j60@0{
+			eth1: enc28j60@0{
 				compatible = "microchip,enc28j60";
 				reg = <0>; /* CE0 */
+				pinctrl-names = "default";
+				pinctrl-0 = <&eth1_pins>;
+				interrupt-parent = <&gpio>;
+				interrupts = <25 0x2>; /* falling edge */
 				spi-max-frequency = <12000000>;
 				status = "okay";
 			};
 		};
 	};
+
+	fragment@1 {
+		target = <&gpio>;
+		__overlay__ {
+			eth1_pins: eth1_pins {
+				brcm,pins = <25>;
+				brcm,function = <0>; /* in */
+				brcm,pull = <0>; /* none */
+			};
+		};
+	};
+
+	__overrides__ {
+		int_pin = <&eth1>, "interrupts:0",
+		          <&eth1_pins>, "brcm,pins:0";
+		speed   = <&eth1>, "spi-max-frequency:0";
+	};
 };
