Constant __NR_restart_syscall 

pub const __NR_restart_syscall: u32 = 219;