invalid inflight: 1 state 4 cwnd 10 mss 1400
------------[ cut here ]------------
WARNING: CPU: 1 PID: 12191 at net/ipv4/tcp_output.c:2507 tcp_send_loss_probe.cold+0x7e/0x94 net/ipv4/tcp_output.c:2507
Kernel panic - not syncing: panic_on_warn set ...

CPU: 1 PID: 12191 Comm: syz-executor.2 Not tainted 4.14.143+ #0
Call Trace:
 <IRQ>
 __dump_stack lib/dump_stack.c:17 [inline]
 dump_stack+0xca/0x134 lib/dump_stack.c:53
 panic+0x1ea/0x3d3 kernel/panic.c:182
 __warn.cold+0x2f/0x3a kernel/panic.c:546
 report_bug+0x20a/0x248 lib/bug.c:186
 fixup_bug arch/x86/kernel/traps.c:177 [inline]
 fixup_bug arch/x86/kernel/traps.c:172 [inline]
 do_error_trap+0x1bf/0x2d0 arch/x86/kernel/traps.c:295
 invalid_op+0x18/0x40 arch/x86/entry/entry_64.S:963
RIP: 0010:tcp_send_loss_probe.cold+0x7e/0x94 net/ipv4/tcp_output.c:2507
RSP: 0000:ffff8881dbb07ca8 EFLAGS: 00010286
RAX: 000000000000002c RBX: 0000000000000000 RCX: 0000000000000000
RDX: 0000000000000000 RSI: ffffffff9c669f80 RDI: ffffed103b760f87
RBP: ffff8881d22f5e80 R08: 000000000000002c R09: ffffed103b764ce9
R10: ffffed103b764ce8 R11: ffff8881dbb26747 R12: 0000000000000578
R13: 0000000000000001 R14: 000000000000000a R15: ffff8881d22f5e80
 tcp_write_timer_handler+0x46b/0x780 net/ipv4/tcp_timer.c:575
 tcp_write_timer+0xc9/0x170 net/ipv4/tcp_timer.c:597
 call_timer_fn+0x15b/0x6a0 kernel/time/timer.c:1279
 expire_timers+0x227/0x4c0 kernel/time/timer.c:1318
 __run_timers kernel/time/timer.c:1634 [inline]
 run_timer_softirq+0x1eb/0x5d0 kernel/time/timer.c:1647
 __do_softirq+0x234/0x9ec kernel/softirq.c:288
 invoke_softirq kernel/softirq.c:368 [inline]
 irq_exit+0x114/0x150 kernel/softirq.c:409
 exiting_irq arch/x86/include/asm/apic.h:648 [inline]
 smp_apic_timer_interrupt+0x1a7/0x650 arch/x86/kernel/apic/apic.c:1102
 apic_timer_interrupt+0x8c/0xa0 arch/x86/entry/entry_64.S:792
 </IRQ>
RIP: 0033:0x40e88f
RSP: 002b:00007ffd21db44e0 EFLAGS: 00000206 ORIG_RAX: ffffffffffffff10
RAX: 00007f47f48d2d50 RBX: 00007f47f48c17f8 RCX: ffffffff8161eaeb
RDX: ffffffff8161ea1a RSI: 00007f47f48d9518 RDI: 00007f47f48c8e78
RBP: 00007f47f48c8e70 R08: ffffffff8161eb22 R09: 0000000080e89029
R10: 00007ffd21db4710 R11: 0000000000000246 R12: 00007f47f48c17e8
R13: 0000000000000016 R14: 00007f47f48c8e70 R15: 000000000000d2b7
Kernel Offset: 0x19800000 from 0xffffffff81000000 (relocation range: 0xffffffff80000000-0xffffffffbfffffff)
Rebooting in 86400 seconds..