_UFFDIO_MOVE

Constant _UFFDIO_MOVE 

Source
pub const _UFFDIO_MOVE: u32 = 5;