Constant PAGE_IS_SOFT_DIRTY 

pub const PAGE_IS_SOFT_DIRTY: u32 = 128;