Symbol: IPI_SHOOTDOWN
sys/arch/arm/pic/picvar.h
57
#define IPI_SHOOTDOWN 3 /* cause a tlb shootdown */
sys/arch/mips/include/intr.h
71
#define IPI_SHOOTDOWN 2 /* do a tlb shootdown */