smp_targeted_tlb_shootdown_native
&smp_targeted_tlb_shootdown_native;
void smp_targeted_tlb_shootdown_native(pmap_t, vm_offset_t, vm_offset_t,
return smp_targeted_tlb_shootdown_native(pmap, addr1, addr2,
return smp_targeted_tlb_shootdown_native(pmap, addr1, addr2,
return smp_targeted_tlb_shootdown_native(pmap, addr1,
smp_targeted_tlb_shootdown = &smp_targeted_tlb_shootdown_native;