The interrupt function is never directly called in the default code (and shouldn't really be in your code). In fact, it never even runs with the default code.
If you want to use the interrupt, you must enable it in user_intialization(). When the interrupt(s) you specify are triggered (such as a digital IO going high), the interrupt handler is run.
Of course, I never got them to work, so...
