smc: removing ib device syz2 ------------[ 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#3: kworker/u32:4/100 Modules linked in: CPU: 3 UID: 0 PID: 100 Comm: kworker/u32:4 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 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 76 e5 51 f9 5b c3 cc cc cc cc e8 6b e5 51 f9 90 <0f> 0b 90 e8 62 e5 51 f9 5b c3 cc cc cc cc e8 f7 6d bd f9 eb d0 0f RSP: 0018:ffffc90000bd7b98 EFLAGS: 00010293 RAX: 0000000000000000 RBX: ffff8880256c1370 RCX: ffffffff8890d7f4 RDX: ffff888022c524c0 RSI: ffffffff88b62a35 RDI: ffff8880256c13f0 RBP: ffffffff88b48cc0 R08: 0000000000000005 R09: 0000000000000001 R10: 0000000000000002 R11: 0000000000000000 R12: ffff8880256c06b0 R13: ffff8880256bffe0 R14: ffff8880256bffe0 R15: ffff8880256c10d0 FS: 0000000000000000(0000) GS:ffff88809744d000(0000) knlGS:0000000000000000 CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033 CR2: 000000002fb0fff8 CR3: 000000004c42f000 CR4: 0000000000352ef0 DR0: 000000006000003f DR1: 0000000000000000 DR2: 0000000000000000 DR3: 0000000000000000 DR6: 00000000ffff0ff0 DR7: 0000000000000400 Call Trace: rxe_dealloc+0x25/0xc0 drivers/infiniband/sw/rxe/rxe.c:24 ib_dealloc_device+0x49/0x230 drivers/infiniband/core/device.c:666 __ib_unregister_device+0x396/0x480 drivers/infiniband/core/device.c:1545 ib_unregister_work+0x19/0x30 drivers/infiniband/core/device.c:1639 process_one_work+0x9d7/0x1920 kernel/workqueue.c:3275 process_scheduled_works kernel/workqueue.c:3358 [inline] worker_thread+0x5da/0xe40 kernel/workqueue.c:3439 kthread+0x370/0x450 kernel/kthread.c:436 ret_from_fork+0x754/0xd80 arch/x86/kernel/process.c:158 ret_from_fork_asm+0x1a/0x30 arch/x86/entry/entry_64.S:245