Symbol: TLB_INVALIDATION_SEQNO_MAX