Use volatile write when writing to user buffer

Signed-off-by: Alan Jowett <[email protected]>
microsoft · Dec 3, 2024 · 557a7b2 · 557a7b2
1 parent e8b62c9
commit 557a7b2
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/libs/execution_context/ebpf_program.c b/libs/execution_context/ebpf_program.c
@@ -2109,7 +2109,8 @@ ebpf_program_get_info(
                     EBPF_RETURN_RESULT(EBPF_INVALID_POINTER);
                 } else {
                     ebpf_map_t* map = program->maps[i];
-                    map_ids[i] = ebpf_map_get_id(map);
+                    // Volatile user mode pointer.
+                    WriteNoFence(&map_ids[i], ebpf_map_get_id(map));
                 }
             }
         } __except (EXCEPTION_EXECUTE_HANDLER) {