Symbol: ALPHA_TBIS
sys/arch/alpha/alpha/pmap.c
1011
ALPHA_TBIS(TLB_CTX_VA(tlbctx, i));
sys/arch/alpha/alpha/pmap.c
930
ALPHA_TBIS(TLB_CTX_VA(tlbctx, i));