INVALIDATE_TLB_VECTOR  124 arch/x86/kernel/irqinit_32.c 	alloc_intr_gate(INVALIDATE_TLB_VECTOR, invalidate_interrupt);
INVALIDATE_TLB_VECTOR  161 arch/x86/kernel/tlb_32.c 	send_IPI_mask(cpumask, INVALIDATE_TLB_VECTOR);
INVALIDATE_TLB_VECTOR   14 include/asm-x86/mach-default/entry_arch.h BUILD_INTERRUPT(invalidate_interrupt,INVALIDATE_TLB_VECTOR)