HelenOS sources

VECTOR_TLB_SHOOTDOWN_IPI  227 kernel/arch/amd64/src/interrupt.c 	exc_register(VECTOR_TLB_SHOOTDOWN_IPI, "tlb_shootdown", true,
VECTOR_TLB_SHOOTDOWN_IPI  250 kernel/arch/ia32/src/interrupt.c 	exc_register(VECTOR_TLB_SHOOTDOWN_IPI, "tlb_shootdown", true,
VECTOR_TLB_SHOOTDOWN_IPI  259 kernel/arch/ia64/src/interrupt.c 	case VECTOR_TLB_SHOOTDOWN_IPI:
VECTOR_TLB_SHOOTDOWN_IPI   48 kernel/arch/sparc64/include/arch/interrupt.h 	IPI_TLB_SHOOTDOWN = VECTOR_TLB_SHOOTDOWN_IPI,
VECTOR_TLB_SHOOTDOWN_IPI  146 kernel/generic/src/mm/tlb.c 	ipi_broadcast(VECTOR_TLB_SHOOTDOWN_IPI);