Constant ARCH_GET_MAX_TAG_BITS 

pub const ARCH_GET_MAX_TAG_BITS: u32 = 16387;