smc: removing ib device rxe0
------------[ cut here ]------------
!xa_empty(&pool->xa)
WARNING: drivers/infiniband/sw/rxe/rxe_pool.c:116 at rxe_pool_cleanup+0x46/0x60 drivers/infiniband/sw/rxe/rxe_pool.c:116, CPU#0: syz.3.1086/8845
Modules linked in:
CPU: 0 UID: 0 PID: 8845 Comm: syz.3.1086 Not tainted syzkaller #0 PREEMPT(full) 
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 08/05/2026
RIP: 0010:rxe_pool_cleanup+0x46/0x60 drivers/infiniband/sw/rxe/rxe_pool.c:116
Code: ff df 48 89 fa 48 c1 ea 03 80 3c 02 00 75 29 48 83 bb 80 00 00 00 00 75 0b e8 86 67 01 f9 5b e9 90 65 e0 02 e8 7b 67 01 f9 90 <0f> 0b 90 e8 72 67 01 f9 5b e9 7c 65 e0 02 e8 57 7d 7a f9 eb d0 0f
RSP: 0018:ffffc90006577158 EFLAGS: 00010246
RAX: 0000000000080000 RBX: ffff8880356713d8 RCX: ffffc900067a1000
RDX: 0000000000080000 RSI: ffffffff890cb595 RDI: ffff888035671458
RBP: ffffffff890b0a70 R08: 0000000000000005 R09: 0000000000000001
R10: 0000000000000002 R11: 0000000000000000 R12: ffff8880356706d0
R13: ffff88803566ffe0 R14: ffff88803566ffe0 R15: ffff888035671138
FS:  00007f4eafbf66c0(0000) GS:ffff88812249c000(0000) knlGS:0000000000000000
CS:  0010 DS: 0000 ES: 0000 CR0: 0000000080050033
CR2: 00007efce975da08 CR3: 000000004afec000 CR4: 00000000003526f0
Call Trace:
 <TASK>
 rxe_dealloc+0x25/0xc0 drivers/infiniband/sw/rxe/rxe.c:26
 ib_dealloc_device+0x49/0x230 drivers/infiniband/core/device.c:691
 __ib_unregister_device+0x396/0x480 drivers/infiniband/core/device.c:1589
 ib_unregister_device_and_put+0x5a/0x80 drivers/infiniband/core/device.c:1636
 nldev_dellink+0x308/0x450 drivers/infiniband/core/nldev.c:1905
 rdma_nl_rcv_msg+0x392/0x6f0 drivers/infiniband/core/netlink.c:195
 rdma_nl_rcv_skb.constprop.0.isra.0+0x2cb/0x410 drivers/infiniband/core/netlink.c:239
 netlink_unicast_kernel net/netlink/af_netlink.c:1335 [inline]
 netlink_unicast+0x668/0x950 net/netlink/af_netlink.c:1361
 netlink_sendmsg+0x9ac/0x10c0 net/netlink/af_netlink.c:1920
 sock_sendmsg_nosec net/socket.c:800 [inline]
 __sock_sendmsg net/socket.c:818 [inline]
 ____sys_sendmsg+0xa99/0xc30 net/socket.c:2715
 ___sys_sendmsg+0x190/0x1e0 net/socket.c:2769
 __sys_sendmsg+0x160/0x210 net/socket.c:2801
 do_syscall_x64 arch/x86/entry/syscall_64.c:61 [inline]
 do_syscall_64+0x123/0x790 arch/x86/entry/syscall_64.c:84
 entry_SYSCALL_64_after_hwframe+0x77/0x7f
RIP: 0033:0x7f4eb199f559
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:00007f4eafbf6028 EFLAGS: 00000246 ORIG_RAX: 000000000000002e
RAX: ffffffffffffffda RBX: 00007f4eb1c25fa0 RCX: 00007f4eb199f559
RDX: 0000000000000000 RSI: 00002000000002c0 RDI: 0000000000000003
RBP: 00007f4eb1a36b20 R08: 0000000000000000 R09: 0000000000000000
R10: 0000000000000000 R11: 0000000000000246 R12: 0000000000000000
R13: 00007f4eb1c26038 R14: 00007f4eb1c25fa0 R15: 00007ffd4015ee38
 </TASK>