Constant __NR_rt_sigtimedwait 

pub const __NR_rt_sigtimedwait: u32 = 128;