Constant __NR_recvmmsg_time64 

pub const __NR_recvmmsg_time64: u32 = 417;