------------[ cut here ]------------
WARNING: CPU: 0 PID: 4424 at net/devlink/leftover.c:7625 devlink_recover_notify+0x183/0x1d0 net/devlink/leftover.c:7625
Modules linked in:
CPU: 0 PID: 4424 Comm: syz.4.21 Not tainted syzkaller #0
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 07/24/2026
RIP: 0010:devlink_recover_notify+0x183/0x1d0 net/devlink/leftover.c:7625
Code: 28 84 c0 75 55 41 89 6e 38 4c 89 f6 31 d2 89 e9 41 b8 c0 0c 00 00 5b 41 5c 41 5d 41 5e 41 5f 5d e9 b2 3a 49 ff e8 3d 2a 5d f8 <0f> 0b e9 e4 fe ff ff e8 31 2a 5d f8 0f 0b e9 41 ff ff ff 89 d9 80
RSP: 0018:ffffc90004747b38 EFLAGS: 00010283
RAX: ffffffff892508a3 RBX: ffff888057fcc000 RCX: 0000000000080000
RDX: ffffc9000e9ba000 RSI: 00000000000006b8 RDI: 00000000000006b9
RBP: 0000000000000002 R08: ffffffff8e20b46f R09: 1ffffffff1c4168d
R10: dffffc0000000000 R11: fffffbfff1c4168e R12: ffff888057e91400
R13: dffffc0000000000 R14: ffff888057e91400 R15: 0000000000000000
FS:  00007fda03bdb6c0(0000) GS:ffff8880b8e00000(0000) knlGS:0000000000000000
CS:  0010 DS: 0000 ES: 0000 CR0: 0000000080050033
CR2: 00007fda03bdaff8 CR3: 000000001cf63000 CR4: 00000000003506f0
DR0: 0000000000000000 DR1: 0000000000000000 DR2: 0000000000000000
DR3: 0000000000000000 DR6: 00000000fffe0ff0 DR7: 0000000000000400
Call Trace:
 <TASK>
 devlink_health_report+0x185/0xab0 net/devlink/leftover.c:7736
 nsim_dev_health_break_write+0x192/0x230 drivers/net/netdevsim/health.c:216
 full_proxy_write+0x109/0x1c0 fs/debugfs/file.c:244
 vfs_write+0x2dc/0x9a0 fs/read_write.c:582
 ksys_write+0x14d/0x260 fs/read_write.c:637
 do_syscall_x64 arch/x86/entry/common.c:46 [inline]
 do_syscall_64+0x4c/0xa0 arch/x86/entry/common.c:76
 entry_SYSCALL_64_after_hwframe+0x68/0xd2
RIP: 0033:0x7fda02d9e159
Code: ff c3 66 2e 0f 1f 84 00 00 00 00 00 0f 1f 44 00 00 48 89 f8 48 89 f7 48 89 d6 48 89 ca 4d 89 c2 4d 89 c8 4c 8b 4c 24 08 0f 05 <48> 3d 01 f0 ff ff 73 01 c3 48 c7 c1 e8 ff ff ff f7 d8 64 89 01 48
RSP: 002b:00007fda03bdb028 EFLAGS: 00000246 ORIG_RAX: 0000000000000001
RAX: ffffffffffffffda RBX: 00007fda03025fa0 RCX: 00007fda02d9e159
RDX: 0000000000000006 RSI: 00002000000000c0 RDI: 0000000000000003
RBP: 00007fda02e3506b R08: 0000000000000000 R09: 0000000000000000
R10: 0000000000000000 R11: 0000000000000246 R12: 0000000000000000
R13: 00007fda03026038 R14: 00007fda03025fa0 R15: 00007ffd75a17ad8
 </TASK>