Constant SECCOMP_RET_USER_NOTIF 

pub const SECCOMP_RET_USER_NOTIF: u32 = 0x7fc0_0000;