RAX: ffffffffffffffda RBX: 00007f1e2139e6d4 RCX: 0000000000456c99
RDX: 0000000000000004 RSI: 0000000000000000 RDI: 0000000000000015
RBP: 0000000000930140 R08: 000000000000000c R09: 0000000000000000
R10: 0000000020013ff4 R11: 0000000000000246 R12: 00000000ffffffff
R13: 00000000004d4480 R14: 00000000004c8b8a R15: 0000000000000001
unregister_netdevice: waiting for syz_tun to become free. Usage count = 1
unregister_netdevice: waiting for ip6tnl0 to become free. Usage count = 3