==================================================================
BUG: KCSAN: data-race in tick_do_update_jiffies64 / tick_do_update_jiffies64

write to 0xffffffff8603f008 of 8 bytes by interrupt on cpu 0:
 tick_do_update_jiffies64+0x105/0x260 kernel/time/tick-sched.c:73
 tick_sched_do_timer+0xd4/0xe0 kernel/time/tick-sched.c:138
 tick_sched_timer+0x43/0xe0 kernel/time/tick-sched.c:1289
 __run_hrtimer kernel/time/hrtimer.c:1389 [inline]
 __hrtimer_run_queues+0x288/0x600 kernel/time/hrtimer.c:1451
 hrtimer_interrupt+0x22a/0x480 kernel/time/hrtimer.c:1509
 local_apic_timer_interrupt arch/x86/kernel/apic/apic.c:1110 [inline]
 smp_apic_timer_interrupt+0xdc/0x280 arch/x86/kernel/apic/apic.c:1135
 apic_timer_interrupt+0xf/0x20 arch/x86/entry/entry_64.S:830

read to 0xffffffff8603f008 of 8 bytes by interrupt on cpu 1:
 tick_do_update_jiffies64+0x2b/0x260 kernel/time/tick-sched.c:62
 tick_sched_do_timer+0xd4/0xe0 kernel/time/tick-sched.c:138
 tick_sched_timer+0x43/0xe0 kernel/time/tick-sched.c:1289
 __run_hrtimer kernel/time/hrtimer.c:1389 [inline]
 __hrtimer_run_queues+0x288/0x600 kernel/time/hrtimer.c:1451
 hrtimer_interrupt+0x22a/0x480 kernel/time/hrtimer.c:1509
 local_apic_timer_interrupt arch/x86/kernel/apic/apic.c:1110 [inline]
 smp_apic_timer_interrupt+0xdc/0x280 arch/x86/kernel/apic/apic.c:1135
 apic_timer_interrupt+0xf/0x20 arch/x86/entry/entry_64.S:830
 __kcsan_check_watchpoint+0x0/0x180 kernel/kcsan/core.c:308
 virtqueue_add_split drivers/virtio/virtio_ring.c:552 [inline]
 virtqueue_add+0xa3d/0x1a80 drivers/virtio/virtio_ring.c:1707
 virtqueue_add_inbuf_ctx+0x50/0x6a drivers/virtio/virtio_ring.c:1810
 add_recvbuf_mergeable drivers/net/virtio_net.c:1201 [inline]
 try_fill_recv+0x68e/0xdc0 drivers/net/virtio_net.c:1223
 virtnet_receive drivers/net/virtio_net.c:1335 [inline]
 virtnet_poll+0x64c/0x7d0 drivers/net/virtio_net.c:1428
 napi_poll net/core/dev.c:6352 [inline]
 net_rx_action+0x3ae/0xa50 net/core/dev.c:6418

Reported by Kernel Concurrency Sanitizer on:
CPU: 1 PID: 16 Comm: ksoftirqd/1 Not tainted 5.3.0+ #0
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 01/01/2011
==================================================================