dummy0 speed is unknown, defaulting to 1000
dummy0 speed is unknown, defaulting to 1000
dummy0 speed is unknown, defaulting to 1000
smc: removing ib device rxe0
------------[ cut here ]------------
!xa_empty(&pool->xa)
WARNING: drivers/infiniband/sw/rxe/rxe_pool.c:116 at rxe_pool_cleanup+0x48/0x60 drivers/infiniband/sw/rxe/rxe_pool.c:116, CPU#0: syz.0.1964/18660
Modules linked in:
CPU: 0 UID: 0 PID: 18660 Comm: syz.0.1964 Tainted: G             L      syzkaller #0 PREEMPT(full) 
Tainted: [L]=SOFTLOCKUP
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 10/15/2026
RIP: 0010:rxe_pool_cleanup+0x48/0x60 drivers/infiniband/sw/rxe/rxe_pool.c:116
Code: 00 fc ff df 80 3c 08 00 74 08 48 89 df e8 30 fc 27 f9 48 83 3b 00 75 0c e8 15 32 ae f8 5b e9 cf 87 f3 02 cc e8 09 32 ae f8 90 <0f> 0b 90 5b e9 bf 87 f3 02 cc 66 66 66 66 66 2e 0f 1f 84 00 00 00
RSP: 0018:ffffc90002e47000 EFLAGS: 00010246
RAX: ffffffff891b0217 RBX: ffff88807f5a5458 RCX: 0000000000080000
RDX: ffffc900110a3000 RSI: 000000000007ffff RDI: 0000000000080000
RBP: ffff88807f5a5138 R08: ffff88807f5a47e3 R09: 1ffff1100feb48fc
R10: dffffc0000000000 R11: ffffffff89192ec0 R12: ffff88807f5a5138
R13: 1ffff1100feb49f7 R14: ffffffff89192ec0 R15: dffffc0000000000
FS:  00007f8cbd1e86c0(0000) GS:ffff8881233f0000(0000) knlGS:0000000000000000
CS:  0010 DS: 0000 ES: 0000 CR0: 0000000080050033
CR2: 00007fdb5bd3b28e CR3: 000000007f87e000 CR4: 00000000003526f0
Call Trace:
 <TASK>
 rxe_dealloc+0x27/0xc0 drivers/infiniband/sw/rxe/rxe.c:26
 ib_dealloc_device+0x54/0x200 drivers/infiniband/core/device.c:691
 __ib_unregister_device+0x38f/0x400 drivers/infiniband/core/device.c:1589
 ib_unregister_device_and_put+0xb8/0xf0 drivers/infiniband/core/device.c:1636
 nldev_dellink+0x3a4/0x440 drivers/infiniband/core/nldev.c:1905
 rdma_nl_rcv_msg drivers/infiniband/core/netlink.c:-1 [inline]
 rdma_nl_rcv_skb drivers/infiniband/core/netlink.c:239 [inline]
 rdma_nl_rcv+0x6ef/0xa40 drivers/infiniband/core/netlink.c:259
 netlink_unicast_kernel net/netlink/af_netlink.c:1335 [inline]
 netlink_unicast+0x8ef/0xa80 net/netlink/af_netlink.c:1361
 netlink_sendmsg+0x7f0/0xb20 net/netlink/af_netlink.c:1920
 sock_sendmsg_nosec+0x14e/0x190 net/socket.c:800
 __sock_sendmsg net/socket.c:818 [inline]
 ____sys_sendmsg+0x54e/0x850 net/socket.c:2715
 ___sys_sendmsg+0x2a6/0x360 net/socket.c:2769
 __sys_sendmsg net/socket.c:2801 [inline]
 __do_sys_sendmsg net/socket.c:2806 [inline]
 __se_sys_sendmsg net/socket.c:2804 [inline]
 __x64_sys_sendmsg+0x1b1/0x290 net/socket.c:2804
 do_syscall_x64 arch/x86/entry/syscall_64.c:61 [inline]
 do_syscall_64+0x16a/0x530 arch/x86/entry/syscall_64.c:89
 entry_SYSCALL_64_after_hwframe+0x77/0x7f
RIP: 0033:0x00007f8cbc39fb19
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:00007f8cbd1e8028 EFLAGS: 00000246 ORIG_RAX: 000000000000002e
RAX: ffffffffffffffda RBX: 00007f8cbc625fa0 RCX: 00007f8cbc39fb19
RDX: 0000000000000000 RSI: 0000200000000580 RDI: 0000000000000007
RBP: 00007f8cbc437b70 R08: 0000000000000000 R09: 0000000000000000
R10: 0000000000000000 R11: 0000000000000246 R12: 0000000000000000
R13: 00007f8cbc626038 R14: 00007f8cbc625fa0 R15: 00007ffede2bf398
 </TASK>