Symbol: smp_tlb_flush_ctx
sys/arch/sparc64/include/pte.h
97
void smp_tlb_flush_ctx(uint64_t);
sys/arch/sparc64/include/pte.h
99
#define tlb_flush_ctx(ctx) smp_tlb_flush_ctx(ctx)