RDX: 0000000000000000 RSI: 0000000020000080 RDI: 0000000000000015
RBP: 00000000009301e0 R08: 0000000000000000 R09: 0000000000000000
R10: 0000000000000000 R11: 0000000000000246 R12: 00000000ffffffff
R13: 00000000004d3778 R14: 00000000004c846b R15: 0000000000000002
IPVS: stopping backup sync thread 11586 ...
unregister_netdevice: waiting for syz_tun to become free. Usage count = 3