Symbol: TLB_CTX_MAXVA
sys/arch/alpha/alpha/pmap.c
445
uintptr_t t_addrdata[TLB_CTX_MAXVA];
sys/arch/alpha/alpha/pmap.c
814
if (count > TLB_CTX_MAXVA) {
sys/arch/alpha/alpha/pmap.c
817
if (count == TLB_CTX_MAXVA) {