lo speed is unknown, defaulting to 1000
lo speed is unknown, defaulting to 1000
lo speed is unknown, defaulting to 1000
infiniband s
z1: set active
infiniband s
z1: added lo
RDS/IB: s
z1: added
smc: adding ib device s
z1 with port count 1
smc:    ib device s
z1 port 1 has no pnetid
lo speed is unknown, defaulting to 1000
smc: removing ib device s
z1
------------[ 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.0/5324
Modules linked in:
CPU: 0 UID: 0 PID: 5324 Comm: syz.0.0 Not tainted syzkaller #0 PREEMPT(full) 
Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS 1.16.3-debian-1.16.3-2 04/01/2014
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 b0 22 6d f9 48 83 3b 00 75 0c e8 35 5b 01 f9 5b c3 cc cc cc cc cc e8 29 5b 01 f9 90 <0f> 0b 90 5b e9 cf 18 ee 02 cc 66 66 66 66 66 2e 0f 1f 84 00 00 00
RSP: 0018:ffffc9000dbdf038 EFLAGS: 00010293
RAX: ffffffff88c44047 RBX: ffff8880126cd3f0 RCX: ffff88801aa92480
RDX: 0000000000000000 RSI: 0000000000000002 RDI: ffff8880126cd370
RBP: ffff8880126cd0d0 R08: ffff8880126cc7cb R09: 1ffff110024d98f9
R10: dffffc0000000000 R11: ffffffff88c27a20 R12: ffff8880126cc000
R13: dffffc0000000000 R14: ffffffff88c27a20 R15: dffffc0000000000
FS:  00007fba252876c0(0000) GS:ffff88808ca58000(0000) knlGS:0000000000000000
CS:  0010 DS: 0000 ES: 0000 CR0: 0000000080050033
CR2: 00007fb6373b6000 CR3: 0000000044b42000 CR4: 0000000000352ef0
Call Trace:
 <TASK>
 rxe_dealloc+0x27/0xc0 drivers/infiniband/sw/rxe/rxe.c:24
 ib_dealloc_device+0x54/0x200 drivers/infiniband/core/device.c:666
 __ib_unregister_device+0x393/0x3f0 drivers/infiniband/core/device.c:1545
 ib_unregister_device_and_put+0xb8/0xf0 drivers/infiniband/core/device.c:1592
 nldev_dellink+0x288/0x320 drivers/infiniband/core/nldev.c:1827
 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+0x6d7/0xa10 drivers/infiniband/core/netlink.c:259
 netlink_unicast_kernel net/netlink/af_netlink.c:1318 [inline]
 netlink_unicast+0x80f/0x9b0 net/netlink/af_netlink.c:1344
 netlink_sendmsg+0x813/0xb40 net/netlink/af_netlink.c:1894
 sock_sendmsg_nosec net/socket.c:727 [inline]
 __sock_sendmsg net/socket.c:742 [inline]
 ____sys_sendmsg+0xa68/0xad0 net/socket.c:2592
 ___sys_sendmsg+0x2a5/0x360 net/socket.c:2646
 __sys_sendmsg net/socket.c:2678 [inline]
 __do_sys_sendmsg net/socket.c:2683 [inline]
 __se_sys_sendmsg net/socket.c:2681 [inline]
 __x64_sys_sendmsg+0x1bd/0x2a0 net/socket.c:2681
 do_syscall_x64 arch/x86/entry/syscall_64.c:63 [inline]
 do_syscall_64+0x14d/0xf80 arch/x86/entry/syscall_64.c:94
 entry_SYSCALL_64_after_hwframe+0x77/0x7f
RIP: 0033:0x7fba2439c799
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:00007fba25287028 EFLAGS: 00000246 ORIG_RAX: 000000000000002e
RAX: ffffffffffffffda RBX: 00007fba24616090 RCX: 00007fba2439c799
RDX: 0000000000000000 RSI: 00002000000002c0 RDI: 000000000000000c
RBP: 00007fba24432bd9 R08: 0000000000000000 R09: 0000000000000000
R10: 0000000000000000 R11: 0000000000000246 R12: 0000000000000000
R13: 00007fba24616128 R14: 00007fba24616090 R15: 00007ffe8d58d9a8
 </TASK>