Constant ZX_PAGER_VMO_STATS_MODIFIED 

pub const ZX_PAGER_VMO_STATS_MODIFIED: u32 = 1 /* 1u32 */;