==================================================================
BUG: KCSAN: data-race in avc_policy_seqno / avc_ss_reset

write to 0xffffffff893d42c0 of 4 bytes by task 25467 on cpu 0:
 avc_latest_notif_update security/selinux/avc.c:582 [inline]
 avc_ss_reset+0x20c/0x240 security/selinux/avc.c:971
 selinux_notify_policy_change security/selinux/ss/services.c:2231 [inline]
 security_set_bools+0x300/0x340 security/selinux/ss/services.c:3041
 sel_commit_bools_write+0x1e9/0x270 security/selinux/selinuxfs.c:1222
 do_loop_readv_writev fs/read_write.c:852 [inline]
 vfs_writev+0x42b/0x900 fs/read_write.c:1061
 do_writev+0xe9/0x210 fs/read_write.c:1105
 __do_sys_writev fs/read_write.c:1173 [inline]
 __se_sys_writev fs/read_write.c:1170 [inline]
 __x64_sys_writev+0x45/0x50 fs/read_write.c:1170
 x64_sys_call+0x1c0c/0x3020 arch/x86/include/generated/asm/syscalls_64.h:21
 do_syscall_x64 arch/x86/entry/syscall_64.c:63 [inline]
 do_syscall_64+0x12c/0x3b0 arch/x86/entry/syscall_64.c:94
 entry_SYSCALL_64_after_hwframe+0x77/0x7f

read to 0xffffffff893d42c0 of 4 bytes by task 25468 on cpu 1:
 avc_policy_seqno+0x15/0x30 security/selinux/avc.c:1207
 selinux_file_permission+0x1ca/0x320 security/selinux/hooks.c:3830
 security_file_permission+0x3a/0x70 security/security.c:2392
 rw_verify_area fs/read_write.c:475 [inline]
 kernel_read+0x7e/0x170 fs/read_write.c:547
 elf_read fs/binfmt_elf.c:484 [inline]
 load_elf_phdrs fs/binfmt_elf.c:545 [inline]
 load_elf_binary+0x238/0x1a20 fs/binfmt_elf.c:869
 search_binary_handler fs/exec.c:1664 [inline]
 exec_binprm fs/exec.c:1696 [inline]
 bprm_execve+0x466/0x9a0 fs/exec.c:1748
 kernel_execve+0x5ea/0x630 fs/exec.c:1892
 call_usermodehelper_exec_async+0x196/0x250 kernel/umh.c:109
 ret_from_fork+0x146/0x330 arch/x86/kernel/process.c:158
 ret_from_fork_asm+0x1a/0x30 arch/x86/entry/entry_64.S:245

value changed: 0x00000001 -> 0x00000002

Reported by Kernel Concurrency Sanitizer on:
CPU: 1 UID: 0 PID: 25468 Comm: kworker/u8:14 Tainted: G        W           syzkaller #0 PREEMPT(lazy) 
Tainted: [W]=WARN
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 04/18/2026
==================================================================