HelenOS sources

tlb_shootdown_ipi_recv  148 kernel/arch/amd64/src/interrupt.c 	tlb_shootdown_ipi_recv();
tlb_shootdown_ipi_recv  171 kernel/arch/ia32/src/interrupt.c 	tlb_shootdown_ipi_recv();
tlb_shootdown_ipi_recv  260 kernel/arch/ia64/src/interrupt.c 		tlb_shootdown_ipi_recv();
tlb_shootdown_ipi_recv  153 kernel/arch/sparc64/src/smp/sun4u/ipi.c 		func = tlb_shootdown_ipi_recv;
tlb_shootdown_ipi_recv  103 kernel/arch/sparc64/src/smp/sun4v/ipi.c 		func = tlb_shootdown_ipi_recv;
tlb_shootdown_ipi_recv   91 kernel/arch/sparc64/src/trap/sun4u/interrupt.c 		if (data0 == (uintptr_t) tlb_shootdown_ipi_recv)
tlb_shootdown_ipi_recv   92 kernel/arch/sparc64/src/trap/sun4u/interrupt.c 			tlb_shootdown_ipi_recv();
tlb_shootdown_ipi_recv  109 kernel/arch/sparc64/src/trap/sun4v/interrupt.c 		if (data1 == (uintptr_t) tlb_shootdown_ipi_recv) {
tlb_shootdown_ipi_recv   74 kernel/generic/include/mm/tlb.h extern void tlb_shootdown_ipi_recv(void);