pub const UFFDIO_REGISTER_MODE_WP: u32 = 2;