tlb_flush_local
tlb_flush_local(va);
tlb_flush_local((vm_offset_t)PADDR1);
tlb_flush_local((vm_offset_t)PADDR1);
tlb_flush_local(pte1_trunc(va));
tlb_flush_local((vm_offset_t)PADDR1);
tlb_flush_local((vm_offset_t)PADDR1);
tlb_flush_local((vm_offset_t)pc->pc_cmap1_addr);
tlb_flush_local((vm_offset_t)pc->pc_cmap2_addr);
tlb_flush_local((vm_offset_t)PADDR3);
tlb_flush_local((vm_offset_t)PADDR3);
tlb_flush_local(far & ~PAGE_MASK);
#define tlb_flush(va) tlb_flush_local(va)