------------[ 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.1.709/9395
Modules linked in:
CPU: 0 UID: 0 PID: 9395 Comm: syz.1.709 Tainted: G             L      syzkaller #0 PREEMPT(full) 
Tainted: [L]=SOFTLOCKUP
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 03/18/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 d6 b6 4b f9 5b e9 50 58 dd 02 e8 cb b6 4b f9 90 <0f> 0b 90 e8 c2 b6 4b f9 5b e9 3c 58 dd 02 e8 37 8a b8 f9 eb d0 0f
RSP: 0018:ffffc90003aff1c0 EFLAGS: 00010246
RAX: 0000000000080000 RBX: ffff88802b135390 RCX: ffffc90003b21000
RDX: 0000000000080000 RSI: ffffffff88bdb295 RDI: ffff88802b135410
RBP: ffffffff88bc1520 R08: 0000000000000005 R09: 0000000000000001
R10: 0000000000000002 R11: 0000000000000000 R12: ffff88802b1346a0
R13: ffff88802b133fe0 R14: ffff88802b133fe0 R15: ffff88802b1350f8
FS:  00007f0fea9de6c0(0000) GS:ffff8881242ef000(0000) knlGS:0000000000000000
CS:  0010 DS: 0000 ES: 0000 CR0: 0000000080050033
CR2: 0000557997231168 CR3: 0000000035235000 CR4: 00000000003526f0
Call Trace:
 <TASK>
 rxe_dealloc+0x25/0xc0 drivers/infiniband/sw/rxe/rxe.c:24
 ib_dealloc_device+0x49/0x230 drivers/infiniband/core/device.c:667
 __ib_unregister_device+0x396/0x480 drivers/infiniband/core/device.c:1546
 ib_unregister_device_and_put+0x5a/0x80 drivers/infiniband/core/device.c:1593
 nldev_dellink+0x226/0x320 drivers/infiniband/core/nldev.c:1827
 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:1318 [inline]
 netlink_unicast+0x585/0x850 net/netlink/af_netlink.c:1344
 netlink_sendmsg+0x8b0/0xda0 net/netlink/af_netlink.c:1894
 sock_sendmsg_nosec net/socket.c:787 [inline]
 __sock_sendmsg net/socket.c:802 [inline]
 ____sys_sendmsg+0x9e1/0xb70 net/socket.c:2698
 ___sys_sendmsg+0x190/0x1e0 net/socket.c:2752
 __sys_sendmsg+0x170/0x220 net/socket.c:2784
 do_syscall_x64 arch/x86/entry/syscall_64.c:63 [inline]
 do_syscall_64+0x10b/0xf80 arch/x86/entry/syscall_64.c:94
 entry_SYSCALL_64_after_hwframe+0x77/0x7f
RIP: 0033:0x7f0fe9b9c819
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:00007f0fea9de028 EFLAGS: 00000246 ORIG_RAX: 000000000000002e
RAX: ffffffffffffffda RBX: 00007f0fe9e15fa0 RCX: 00007f0fe9b9c819
RDX: 0000000000000000 RSI: 00002000000002c0 RDI: 000000000000000a
RBP: 00007f0fe9c32c91 R08: 0000000000000000 R09: 0000000000000000
R10: 0000000000000000 R11: 0000000000000246 R12: 0000000000000000
R13: 00007f0fe9e16038 R14: 00007f0fe9e15fa0 R15: 00007ffe86ba3848
 </TASK>