kvm: vcpu 2: requested lapic timer restore with starting count register 0x390=3343437945 (53495007120 ns) > initial count (52285443328 ns). Using initial count to start timer.
------------[ cut here ]------------
WARNING: CPU: 0 PID: 11651 at arch/x86/kvm/x86.c:11274 kvm_arch_vcpu_ioctl_run+0x1e24/0x22c0 arch/x86/kvm/x86.c:11274
Modules linked in:
CPU: 0 PID: 11651 Comm: syz.3.2017 Not tainted syzkaller #0
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 11/06/2026
RIP: 0010:kvm_arch_vcpu_ioctl_run+0x1e24/0x22c0 arch/x86/kvm/x86.c:11274
Code: e8 e1 bc c3 00 e9 bb ef ff ff 44 89 f1 80 e1 07 38 c1 0f 8c 36 e6 ff ff 4c 89 f7 e8 a6 bc c3 00 e9 29 e6 ff ff e8 fc 58 72 00 <0f> 0b e9 81 fc ff ff 44 89 f1 80 e1 07 80 c1 03 38 c1 0f 8c 20 ec
RSP: 0018:ffffc900047ffc98 EFLAGS: 00010287
RAX: ffffffff81100fa4 RBX: ffff888053860000 RCX: 0000000000080000
RDX: ffffc9000eb39000 RSI: 00000000000003dc RDI: 00000000000003dd
RBP: ffff888019a94000 R08: dffffc0000000000 R09: 1ffffffff236c476
R10: dffffc0000000000 R11: fffffbfff236c477 R12: ffffc900047c37f0
R13: ffff888053860030 R14: ffff8880538601ca R15: dffffc0000000000
FS:  00007f72c27336c0(0000) GS:ffff8880b8c00000(0000) knlGS:0000000000000000
CS:  0010 DS: 0000 ES: 0000 CR0: 0000000080050033
CR2: 0000200000001008 CR3: 000000007411d000 CR4: 00000000003526f0
DR0: 0000000000000000 DR1: 0000000000000000 DR2: 0000000000000000
DR3: 0000000000000000 DR6: 00000000fffe0ff0 DR7: 0000000000000400
Call Trace:
 <TASK>
 kvm_vcpu_ioctl+0x986/0xd00 virt/kvm/kvm_main.c:4124
 vfs_ioctl fs/ioctl.c:51 [inline]
 __do_sys_ioctl fs/ioctl.c:870 [inline]
 __se_sys_ioctl+0xfa/0x170 fs/ioctl.c:856
 do_syscall_x64 arch/x86/entry/common.c:46 [inline]
 do_syscall_64+0x4c/0xa0 arch/x86/entry/common.c:76
 entry_SYSCALL_64_after_hwframe+0x68/0xd2
RIP: 0033:0x7f72c17a94d9
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:00007f72c2733028 EFLAGS: 00000246 ORIG_RAX: 0000000000000010
RAX: ffffffffffffffda RBX: 00007f72c1a25fa0 RCX: 00007f72c17a94d9
RDX: 0000000000000000 RSI: 000000000000ae80 RDI: 0000000000000005
RBP: 00007f72c183804e R08: 0000000000000000 R09: 0000000000000000
R10: 0000000000000000 R11: 0000000000000246 R12: 0000000000000000
R13: 00007f72c1a26038 R14: 00007f72c1a25fa0 R15: 00007ffc9bfac038
 </TASK>