vm_tlbshootdown    60 kern/include/vm.h void vm_tlbshootdown(const struct tlbshootdown *);
vm_tlbshootdown  1201 kern/thread/thread.c 				vm_tlbshootdown(&curcpu->c_shootdown[i]);