Constant SECCOMP_IOCTL_NOTIF_RECV 

pub const SECCOMP_IOCTL_NOTIF_RECV: __u32 = 3226476800;