HelenOS sources

VECTORS_16_BUNDLE_START  125 kernel/arch/ia64/src/interrupt.c 	if (n >= VECTORS_16_BUNDLE_START)
VECTORS_16_BUNDLE_START  126 kernel/arch/ia64/src/interrupt.c 		return vector_names_16_bundle[n - VECTORS_16_BUNDLE_START];
HelenOS homepage, sources at GitHub