Symbol: TP_GET_DONE
sys/arch/x86/x86/x86_tlb.c
412
KASSERT(TP_GET_DONE(ts) == 0);
sys/arch/x86/x86/x86_tlb.c
488
while (TP_GET_DONE(ts) == 0) {