linux_raw_sys::general

Constant PAGE_IS_WPALLOWED

Source 
pub const PAGE_IS_WPALLOWED: u32 = 1;