r0 = getpid()
timer_create(0x0, 0x0, 0x0)
timer_create(0x0, 0x0, 0x0)
timer_gettime(0x0, 0x0)
sendmsg$SEG6_CMD_SET_TUNSRC(0xffffffffffffffff, 0x0, 0x0)
r1 = getpgrp(0x0)
r2 = socket$inet6_udp(0xa, 0x2, 0x0)
kcmp$KCMP_EPOLL_TFD(r1, r0, 0x7, r2, &(0x7f0000000840))