linux_raw_sys::general

Constant UFFD_EVENT_PAGEFAULT

Source 
pub const UFFD_EVENT_PAGEFAULT: u32 = 18;