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

write to 0xffffffff88c00a48 of 4 bytes by task 3636 on cpu 1:
 avc_latest_notif_update security/selinux/avc.c:582 [inline]
 avc_ss_reset+0x218/0x250 security/selinux/avc.c:971
 selinux_notify_policy_change security/selinux/ss/services.c:2200 [inline]
 security_set_bools+0x30b/0x350 security/selinux/ss/services.c:3119
 sel_commit_bools_write+0x1de/0x260 security/selinux/selinuxfs.c:1332
 do_loop_readv_writev fs/read_write.c:843 [inline]
 vfs_writev+0x3fb/0x880 fs/read_write.c:1052
 do_writev+0xf4/0x220 fs/read_write.c:1096
 __do_sys_writev fs/read_write.c:1164 [inline]
 __se_sys_writev fs/read_write.c:1161 [inline]
 __x64_sys_writev+0x45/0x50 fs/read_write.c:1161
 x64_sys_call+0x1fab/0x2dc0 arch/x86/include/generated/asm/syscalls_64.h:21
 do_syscall_x64 arch/x86/entry/common.c:52 [inline]
 do_syscall_64+0xc9/0x1c0 arch/x86/entry/common.c:83
 entry_SYSCALL_64_after_hwframe+0x77/0x7f

read to 0xffffffff88c00a48 of 4 bytes by task 2999 on cpu 0:
 avc_policy_seqno+0x15/0x20 security/selinux/avc.c:1207
 selinux_file_open+0x150/0x3b0 security/selinux/hooks.c:3987
 security_file_open+0x33/0x70 security/security.c:3105
 do_dentry_open+0x1fa/0xa20 fs/open.c:928
 vfs_open+0x38/0x1f0 fs/open.c:1075
 do_open fs/namei.c:3828 [inline]
 path_openat+0x1ac2/0x1fa0 fs/namei.c:3987
 do_filp_open+0x107/0x230 fs/namei.c:4014
 do_sys_openat2+0xab/0x120 fs/open.c:1402
 do_sys_open fs/open.c:1417 [inline]
 __do_sys_openat fs/open.c:1433 [inline]
 __se_sys_openat fs/open.c:1428 [inline]
 __x64_sys_openat+0xf3/0x120 fs/open.c:1428
 x64_sys_call+0x2b30/0x2dc0 arch/x86/include/generated/asm/syscalls_64.h:258
 do_syscall_x64 arch/x86/entry/common.c:52 [inline]
 do_syscall_64+0xc9/0x1c0 arch/x86/entry/common.c:83
 entry_SYSCALL_64_after_hwframe+0x77/0x7f

value changed: 0x00000001 -> 0x00000002

Reported by Kernel Concurrency Sanitizer on:
CPU: 0 UID: 0 PID: 2999 Comm: udevd Not tainted 6.13.0-rc7-syzkaller-00149-g9bffa1ad25b8 #0
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 09/13/2024
==================================================================