UFFDIO_WAKE

linux_raw_sys::ioctl

Constant UFFDIO_WAKE 

Source 
pub const UFFDIO_WAKE: u32 = 2148575746;