Symbol: ISA_MEM_BTAG_COUNT