Constant ARMPageInvalidate_Data 

pub const ARMPageInvalidate_Data: u32 = 42u32;