Symbol: smp_tlb_flush_pte
sys/arch/sparc64/include/pte.h
96
void smp_tlb_flush_pte(vaddr_t, uint64_t);
sys/arch/sparc64/include/pte.h
98
#define tlb_flush_pte(va,ctx) smp_tlb_flush_pte(va, ctx)