HelenOS sources

universal_handler   90 kernel/arch/ia64/include/arch/interrupt.h extern void universal_handler(unsigned int, istate_t *);
universal_handler  308 kernel/arch/ia64/src/interrupt.c 		exc_register(i, "universal_handler", false, universal_handler);