==================================================================
BUG: KCSAN: data-race in ps2_do_sendbyte / ps2_handle_ack

write to 0xffff8881033d5040 of 8 bytes by interrupt on cpu 1:
 ps2_handle_ack+0x15a/0x350 drivers/input/serio/libps2.c:439
 atkbd_interrupt+0xbf7/0xcd0 drivers/input/keyboard/atkbd.c:434
 serio_interrupt+0x5d/0xe0 drivers/input/serio/serio.c:1001
 i8042_interrupt+0x39e/0x720 drivers/input/serio/i8042.c:606
 __handle_irq_event_percpu+0x92/0x450 kernel/irq/handle.c:158
 handle_irq_event_percpu kernel/irq/handle.c:193 [inline]
 handle_irq_event+0x7b/0x110 kernel/irq/handle.c:210
 handle_edge_irq+0x18e/0x5f0 kernel/irq/chip.c:820
 generic_handle_irq_desc include/linux/irqdesc.h:158 [inline]
 handle_irq arch/x86/kernel/irq.c:231 [inline]
 __common_interrupt+0x60/0x100 arch/x86/kernel/irq.c:250
 common_interrupt+0x9a/0xc0 arch/x86/kernel/irq.c:240
 asm_common_interrupt+0x1e/0x40
 memset_erms+0x9/0x10
 sctp_do_sm+0x50/0x2f80 net/sctp/sm_sideeffect.c:1151
 sctp_primitive_ASSOCIATE+0x6e/0x80 net/sctp/primitive.c:73
 __sctp_connect+0x86d/0xa80 net/sctp/socket.c:1231
 __sctp_setsockopt_connectx net/sctp/socket.c:1333 [inline]
 sctp_getsockopt_connectx3 net/sctp/socket.c:1418 [inline]
 sctp_getsockopt+0x5c11/0x97f0 net/sctp/socket.c:8111
 sock_common_getsockopt+0x53/0x60 net/core/sock.c:3462
 __sys_getsockopt+0x171/0x1d0 net/socket.c:2224
 __do_sys_getsockopt net/socket.c:2239 [inline]
 __se_sys_getsockopt net/socket.c:2236 [inline]
 __x64_sys_getsockopt+0x62/0x70 net/socket.c:2236
 do_syscall_x64 arch/x86/entry/common.c:50 [inline]
 do_syscall_64+0x44/0xd0 arch/x86/entry/common.c:80
 entry_SYSCALL_64_after_hwframe+0x44/0xae

read to 0xffff8881033d5040 of 8 bytes by task 7113 on cpu 0:
 ps2_do_sendbyte+0x1ba/0x3b0 drivers/input/serio/libps2.c:45
 __ps2_command+0x30d/0xa00 drivers/input/serio/libps2.c:273
 ps2_command+0x51/0x90 drivers/input/serio/libps2.c:332
 atkbd_set_leds+0xad/0x1b0 drivers/input/keyboard/atkbd.c:606
 atkbd_event_work+0xb9/0x300 drivers/input/keyboard/atkbd.c:646
 process_one_work+0x3f6/0x960 kernel/workqueue.c:2307
 worker_thread+0x616/0xa70 kernel/workqueue.c:2454
 kthread+0x1bf/0x1e0 kernel/kthread.c:377
 ret_from_fork+0x1f/0x30

value changed: 0x0000000000000001 -> 0x0000000000000000

Reported by Kernel Concurrency Sanitizer on:
CPU: 0 PID: 7113 Comm: kworker/0:0 Not tainted 5.17.0-rc7-syzkaller-00205-g79b00034e9dc-dirty #0
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 01/01/2011
Workqueue: events atkbd_event_work
==================================================================