linux_raw_sys::ioctl

Constant UFFDIO_REGISTER

Source 
pub const UFFDIO_REGISTER: u32 = 3223366144;