pmap_tlb_shootdown_ipi
[ilog2(ALPHA_IPI_SHOOTDOWN)] = pmap_tlb_shootdown_ipi,
void pmap_tlb_shootdown_ipi(struct cpu_info *, struct trapframe *);