------------[ cut here ]------------
!iommu_table->driver_ops || !iommu_table->driver_ops->change_top || !iommu_table->driver_ops->get_top_lock
WARNING: drivers/iommu/generic_pt/fmt/../iommu_pt.h:1251 at pt_iommu_amdv1_init+0x631/0x9f0 drivers/iommu/generic_pt/iommu_pt.h:1249, CPU#1: syz.0.1693/12058
Modules linked in:
CPU: 1 UID: 0 PID: 12058 Comm: syz.0.1693 Tainted: G             L      syzkaller #0 PREEMPT(full) 
Tainted: [L]=SOFTLOCKUP
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 02/12/2026
RIP: 0010:pt_iommu_amdv1_init+0x631/0x9f0 drivers/iommu/generic_pt/iommu_pt.h:1249
Code: 48 89 df 44 89 fa e8 de 05 00 00 48 89 c3 48 3d 01 f0 ff ff 72 1e e8 ee dc 70 fc eb 5e e8 e7 dc 70 fc eb 05 e8 e0 dc 70 fc 90 <0f> 0b 90 bb ea ff ff ff eb 47 e8 d0 dc 70 fc 43 80 7c 35 00 00 74
RSP: 0018:ffffc90003a57a20 EFLAGS: 00010283
RAX: ffffffff8554d209 RBX: 0000000000000000 RCX: 0000000000080000
RDX: ffffc9000d152000 RSI: 00000000000003f0 RDI: 00000000000003f1
RBP: ffff888029819470 R08: ffff888029819497 R09: 0000000000000000
R10: ffff888029819468 R11: ffffed1005303293 R12: ffff888029819488
R13: 1ffff11005303291 R14: dffffc0000000000 R15: 0000000000000cc0
FS:  00007fcfb6a906c0(0000) GS:ffff888125557000(0000) knlGS:0000000000000000
CS:  0010 DS: 0000 ES: 0000 CR0: 0000000080050033
CR2: 000000110c2f7c33 CR3: 000000005959e000 CR4: 00000000003526f0
Call Trace:
 <TASK>
 mock_domain_alloc_pgtable drivers/iommu/iommufd/selftest.c:491 [inline]
 mock_domain_alloc_paging_flags+0x3ba/0x780 drivers/iommu/iommufd/selftest.c:548
 iommufd_hwpt_paging_alloc+0x3ab/0x830 drivers/iommu/iommufd/hw_pagetable.c:149
 iommufd_hwpt_alloc+0x496/0xc10 drivers/iommu/iommufd/hw_pagetable.c:369
 iommufd_fops_ioctl+0x4b5/0x5d0 drivers/iommu/iommufd/main.c:533
 vfs_ioctl fs/ioctl.c:51 [inline]
 __do_sys_ioctl fs/ioctl.c:597 [inline]
 __se_sys_ioctl+0xfc/0x170 fs/ioctl.c:583
 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:0x7fcfb5b9c819
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:00007fcfb6a90028 EFLAGS: 00000246 ORIG_RAX: 0000000000000010
RAX: ffffffffffffffda RBX: 00007fcfb5e15fa0 RCX: 00007fcfb5b9c819
RDX: 0000200000000200 RSI: 0000000000003b89 RDI: 0000000000000006
RBP: 00007fcfb5c32c91 R08: 0000000000000000 R09: 0000000000000000
R10: 0000000000000000 R11: 0000000000000246 R12: 0000000000000000
R13: 00007fcfb5e16038 R14: 00007fcfb5e15fa0 R15: 00007fcfb5f3fa48
 </TASK>