mapping           168 kern/include/cpu.h void ipi_tlbshootdown(struct cpu *target, const struct tlbshootdown *mapping);
mapping          1144 kern/thread/thread.c ipi_tlbshootdown(struct cpu *target, const struct tlbshootdown *mapping)
mapping          1155 kern/thread/thread.c 		target->c_shootdown[n] = *mapping;