A race condition was found in the Linux kernel's ebpf verifier between bpfmapupdateelem and bpfmapfreeze due to a missing lock in kernel/bpf/syscall.c. In this flaw, a local user with a special privilege (capsysadmin or capbpf) can modify the frozen mapped address space. This flaw affects kernel versions prior to 5.16 rc2.