Symbol: TP_SET_DONE
sys/arch/x86/x86/x86_tlb.c
317
TP_SET_DONE(tp);
sys/arch/x86/x86/x86_tlb.c
530
TP_SET_DONE(source);