Constant __NR_userfaultfd 

pub const __NR_userfaultfd: u32 = 323;