------------[ cut here ]------------
debug_locks && !(lock_is_held(&(__rq_lockp(rq))->dep_map) != 0)
WARNING: kernel/sched/sched.h:1666 at lockdep_assert_rq_held kernel/sched/sched.h:1666 [inline], CPU#0: swapper/0/0
WARNING: kernel/sched/sched.h:1666 at lockdep_assert_rq_held kernel/sched/sched.h:1663 [inline], CPU#0: swapper/0/0
WARNING: kernel/sched/sched.h:1666 at update_rq_clock+0x40a/0xd20 kernel/sched/core.c:875, CPU#0: swapper/0/0
Modules linked in:
CPU: 0 UID: 0 PID: 0 Comm: swapper/0 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
RIP: 0010:lockdep_assert_rq_held kernel/sched/sched.h:1666 [inline]
RIP: 0010:lockdep_assert_rq_held kernel/sched/sched.h:1663 [inline]
RIP: 0010:update_rq_clock+0x40a/0xd20 kernel/sched/core.c:875
Code: ab c8 0b 00 00 48 83 c4 18 5b 5d 41 5c 41 5d 41 5e 41 5f c3 cc cc cc cc a8 04 0f 84 df fc ff ff 90 0f 0b 90 e9 d6 fc ff ff 90 <0f> 0b 90 e9 92 fc ff ff 4c 8d 83 c0 0b 00 00 48 b8 00 00 00 00 00
RSP: 0000:ffffffff8ea07b40 EFLAGS: 00010046
RAX: 0000000000000000 RBX: ffff88802b33c040 RCX: 0000000000000001
RDX: 0000000000000046 RSI: ffffffff8e36be9b RDI: ffffffff8c624080
RBP: ffffffff8ea07ce0 R08: 0000000000000001 R09: 0000000000000001
R10: ffff88802b23cbd8 R11: 0000000000000000 R12: ffffffff9145bbe4
R13: ffff88802b33cf20 R14: ffff88802b33c040 R15: 0000000000000001
FS:  0000000000000000(0000) GS:ffff888096952000(0000) knlGS:0000000000000000
CS:  0010 DS: 0000 ES: 0000 CR0: 0000000080050033
CR2: 00000000f73f87fc CR3: 0000000014370000 CR4: 0000000000352ef0
Call Trace:
 <TASK>
 pick_next_task kernel/sched/core.c:6375 [inline]
 __schedule+0x1c69/0x6920 kernel/sched/core.c:7199
 schedule_idle+0x54/0x80 kernel/sched/core.c:7402
 do_idle+0x365/0x5b0 kernel/sched/idle.c:384
 cpu_startup_entry+0x4f/0x60 kernel/sched/idle.c:454
 rest_init+0x2d3/0x2e0 init/main.c:732
 start_kernel+0x48e/0x490 init/main.c:1190
 x86_64_start_reservations+0x24/0x30 arch/x86/kernel/head64.c:310
 x86_64_start_kernel+0x12b/0x130 arch/x86/kernel/head64.c:291
 common_startup_64+0x13e/0x158
 </TASK>