------------[ cut here ]------------
rq->clock_update_flags < RQCF_ACT_SKIP
WARNING: kernel/sched/sched.h:1792 at assert_clock_updated kernel/sched/sched.h:1792 [inline], CPU#0: swapper/0/0
WARNING: kernel/sched/sched.h:1792 at rq_clock_task kernel/sched/sched.h:1806 [inline], CPU#0: swapper/0/0
WARNING: kernel/sched/sched.h:1792 at update_curr_idle+0x1cf/0x260 kernel/sched/idle.c:554, CPU#0: swapper/0/0
Modules linked in:
CPU: 0 UID: 0 PID: 0 Comm: swapper/0 Tainted: G             L      syzkaller #0 PREEMPT_{RT,(full)} 
Tainted: [L]=SOFTLOCKUP
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 04/18/2026
RIP: 0010:assert_clock_updated kernel/sched/sched.h:1792 [inline]
RIP: 0010:rq_clock_task kernel/sched/sched.h:1806 [inline]
RIP: 0010:update_curr_idle+0x1cf/0x260 kernel/sched/idle.c:554
Code: e8 03 42 80 3c 20 00 74 08 48 89 df e8 3a 98 97 00 48 8b 3b 4c 89 f6 4c 89 fa 5b 41 5c 41 5d 41 5e 41 5f 5d e9 52 38 01 00 90 <0f> 0b 90 e9 01 ff ff ff 90 0f 0b 90 e9 d3 fe ff ff 48 c7 c1 40 84
RSP: 0018:ffffffff8dc07b98 EFLAGS: 00010097
RAX: 0000000000000000 RBX: ffff8880b863ba40 RCX: 0000000000000002
RDX: ffff8880297cdd00 RSI: ffffffff8d8bd52f RDI: ffffffff8baa5680
RBP: ffffffff8dc07dd0 R08: ffff8880b873c91f R09: 0000000000000000
R10: ffff8880b873c910 R11: ffffffff8199c020 R12: dffffc0000000000
R13: ffffffff8d8f3158 R14: ffffffff8dcfef40 R15: ffff8880b863c620
FS:  0000000000000000(0000) GS:ffff888125eb8000(0000) knlGS:0000000000000000
CS:  0010 DS: 0000 ES: 0000 CR0: 0000000080050033
CR2: 0000001b34623ffc CR3: 0000000037efa000 CR4: 00000000003526f0
Call Trace:
 <TASK>
 put_prev_task_idle+0xd/0x20 kernel/sched/idle.c:485
 put_prev_set_next_task kernel/sched/sched.h:2769 [inline]
 pick_next_task kernel/sched/core.c:6442 [inline]
 __schedule+0x3da0/0x5550 kernel/sched/core.c:7143
 schedule_idle+0x51/0x90 kernel/sched/core.c:7348
 do_idle+0x4a6/0x540 kernel/sched/idle.c:384
 cpu_startup_entry+0x43/0x60 kernel/sched/idle.c:454
 rest_init+0x2de/0x300 init/main.c:717
 start_kernel+0x392/0x3e0 init/main.c:1175
 x86_64_start_reservations+0x24/0x30 arch/x86/kernel/head64.c:310
 x86_64_start_kernel+0x143/0x1c0 arch/x86/kernel/head64.c:291
 common_startup_64+0x13e/0x157
 </TASK>