pub const __NR_userfaultfd: u32 = 374;