r0 = gettid()
r1 = getpid()
r2 = socket$netlink(0x10, 0x3, 0x0)
kcmp$KCMP_EPOLL_TFD(r0, r1, 0x7, r2, &(0x7f0000000080))