Constant SECCOMP_IOCTL_NOTIF_RECV 

pub const SECCOMP_IOCTL_NOTIF_RECV: u64 = 0xc050_2100;