Symbol: TLB_CTX_SET_ALLVA
sys/arch/alpha/alpha/pmap.c
819
TLB_CTX_SET_ALLVA(tlbctx);
sys/arch/alpha/alpha/pmap.c
863
TLB_CTX_SET_ALLVA(tlbctx);
sys/arch/alpha/alpha/pmap.c
898
TLB_CTX_SET_ALLVA(tlbctx);