RAX: ffffffffffffffda RBX: 00007f63a47d26d4 RCX: 0000000000455329
RDX: 0000000000000027 RSI: 0000000000000000 RDI: 0000000000000013
RBP: 000000000072bea0 R08: 000000000000000c R09: 0000000000000000
R10: 0000000020000080 R11: 0000000000000246 R12: 0000000000000014
R13: 0000000000000570 R14: 00000000006fb320 R15: 0000000000000001
unregister_netdevice: waiting for syz_tun to become free. Usage count = 5