Constant TLB_FLAGS_MASK 

pub const TLB_FLAGS_MASK: u32 = 3584;