Constant ARCH_FORCE_TAGGED_SVA 

pub const ARCH_FORCE_TAGGED_SVA: u32 = 16388;