HelenOS sources

VECTOR_TLB_SHOOTDOWN_IPI   43 kernel/arch/abs32le/include/arch/interrupt.h #define VECTOR_TLB_SHOOTDOWN_IPI  0
VECTOR_TLB_SHOOTDOWN_IPI   83 kernel/arch/amd64/include/arch/interrupt.h #define VECTOR_TLB_SHOOTDOWN_IPI  (IVT_FREEBASE + 1)
VECTOR_TLB_SHOOTDOWN_IPI   51 kernel/arch/arm64/include/arch/interrupt.h #define VECTOR_TLB_SHOOTDOWN_IPI  0
VECTOR_TLB_SHOOTDOWN_IPI   87 kernel/arch/ia32/include/arch/interrupt.h #define VECTOR_TLB_SHOOTDOWN_IPI  (IVT_FREEBASE + 1)
VECTOR_TLB_SHOOTDOWN_IPI   65 kernel/arch/ia64/include/arch/interrupt.h #define VECTOR_TLB_SHOOTDOWN_IPI  0xf0
VECTOR_TLB_SHOOTDOWN_IPI   43 kernel/arch/mips32/include/arch/interrupt.h #define VECTOR_TLB_SHOOTDOWN_IPI  EXC_Int
VECTOR_TLB_SHOOTDOWN_IPI   44 kernel/arch/riscv64/include/arch/interrupt.h #define VECTOR_TLB_SHOOTDOWN_IPI  0
VECTOR_TLB_SHOOTDOWN_IPI   45 kernel/arch/sparc64/include/arch/interrupt.h #define VECTOR_TLB_SHOOTDOWN_IPI  0