------------[ 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#1: kworker/u32:3/60
Modules linked in:
CPU: 1 UID: 0 PID: 60 Comm: kworker/u32:3 Tainted: G             L      syzkaller #0 PREEMPT(full) 
Tainted: [L]=SOFTLOCKUP
Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS 1.16.3-debian-1.16.3-2 04/01/2014
Workqueue: ib-unreg-wq ib_unregister_work
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 96 58 64 f9 5b c3 cc cc cc cc e8 8b 58 64 f9 90 <0f> 0b 90 e8 82 58 64 f9 5b c3 cc cc cc cc e8 f7 ae cd f9 eb d0 0f
RSP: 0018:ffffc900007bfb30 EFLAGS: 00010293
RAX: 0000000000000000 RBX: ffff8880129c5358 RCX: ffffffff887cee94
RDX: ffff8880209ca4c0 RSI: ffffffff88a1f675 RDI: ffff8880129c53d8
RBP: ffffffff88a05980 R08: 0000000000000005 R09: 0000000000000001
R10: 0000000000000002 R11: 0000000000000000 R12: ffff8880129c4698
R13: ffff8880129c3fe0 R14: ffff8880129c3fe0 R15: ffff8880129c50b8
FS:  0000000000000000(0000) GS:ffff8880974e5000(0000) knlGS:0000000000000000
CS:  0010 DS: 0000 ES: 0000 CR0: 0000000080050033
CR2: 0000000080005000 CR3: 000000000e392000 CR4: 0000000000352ef0
Call Trace:
 <TASK>
 rxe_dealloc+0x25/0xc0 drivers/infiniband/sw/rxe/rxe.c:24
 ib_dealloc_device+0x49/0x230 drivers/infiniband/core/device.c:693
 __ib_unregister_device+0x396/0x480 drivers/infiniband/core/device.c:1573
 ib_unregister_work+0x19/0x30 drivers/infiniband/core/device.c:1667
 process_one_work+0x9c2/0x1840 kernel/workqueue.c:3257
 process_scheduled_works kernel/workqueue.c:3340 [inline]
 worker_thread+0x5da/0xe40 kernel/workqueue.c:3421
 kthread+0x3b3/0x730 kernel/kthread.c:463
 ret_from_fork+0x754/0xaf0 arch/x86/kernel/process.c:158
 ret_from_fork_asm+0x1a/0x30 arch/x86/entry/entry_64.S:246
 </TASK>