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

write to 0xffffffff8603f008 of 8 bytes by interrupt on cpu 1:
 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 0:
 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
 matching_access kernel/kcsan/encoding.h:89 [inline]
 find_watchpoint kernel/kcsan/core.c:94 [inline]
 __kcsan_check_watchpoint+0x7c/0x180 kernel/kcsan/core.c:322
 __tsan_write4+0x18/0x40 kernel/kcsan/kcsan.c:30
 __skb_clone+0xac/0x380 net/core/skbuff.c:990
 skb_clone+0x128/0x280 net/core/skbuff.c:1455
 skb_share_check include/linux/skbuff.h:1675 [inline]
 packet_rcv_spkt+0x2e2/0x350 net/packet/af_packet.c:1816
 deliver_skb net/core/dev.c:1969 [inline]
 deliver_ptype_list_skb net/core/dev.c:1984 [inline]
 __netif_receive_skb_core+0xe13/0x1a90 net/core/dev.c:4962

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