Arduino Ethernet interrupt

Does anyone know a way to reach the W5100 chip interrupt on the
Arduino Ethernet? The Ethernet Shield has a solderable jumper
to connect it to the stack, but the circuit of the single-board
Arduino Ethernet just shows the /INT line vanishing into thin air.

Thanks - Will