Symbol: TP_MAXVA
sys/arch/x86/x86/x86_tlb.c
273
if (count < TP_MAXVA && va != (vaddr_t)-1LL) {
sys/arch/x86/x86/x86_tlb.c
84
uintptr_t tp_store[TP_MAXVA];