Interrupt events: generalized boilerplate supporting drivers that might provide interrupt events. Provides an extension to the Xen driver supporting its only interrupt event, INT3.