Symbol: TLB_CTX_COUNT
sys/arch/alpha/alpha/pmap.c
1020
if (TLB_CTX_COUNT(tlbctx) == 0) {
sys/arch/alpha/alpha/pmap.c
813
const uintptr_t count = TLB_CTX_COUNT(tlbctx);
sys/arch/alpha/alpha/pmap.c
922
const uintptr_t count = TLB_CTX_COUNT(tlbctx);
sys/arch/alpha/alpha/pmap.c
943
const uintptr_t count = TLB_CTX_COUNT(tlbctx);