r0 = socket$inet_udplite(0x2, 0x2, 0x88)
shutdown(r0, 0x0)
clock_gettime(0x0, &(0x7f00000034c0))
recvmmsg(r0, &(0x7f00000033c0)=[{{0x0, 0x0, 0x0}}, {{0x0, 0x0, 0x0}}], 0x2, 0x10001, 0x0)