HelenOS sources

IVT_FREEBASE       82 kernel/arch/amd64/include/arch/interrupt.h #define VECTOR_SYSCALL            IVT_FREEBASE
IVT_FREEBASE       83 kernel/arch/amd64/include/arch/interrupt.h #define VECTOR_TLB_SHOOTDOWN_IPI  (IVT_FREEBASE + 1)
IVT_FREEBASE       84 kernel/arch/amd64/include/arch/interrupt.h #define VECTOR_DEBUG_IPI          (IVT_FREEBASE + 2)
IVT_FREEBASE       86 kernel/arch/ia32/include/arch/interrupt.h #define VECTOR_SYSCALL            IVT_FREEBASE
IVT_FREEBASE       87 kernel/arch/ia32/include/arch/interrupt.h #define VECTOR_TLB_SHOOTDOWN_IPI  (IVT_FREEBASE + 1)
IVT_FREEBASE       88 kernel/arch/ia32/include/arch/interrupt.h #define VECTOR_DEBUG_IPI          (IVT_FREEBASE + 2)