1 files changed, 20 insertions, 0 deletions
diff --git a/src/tools/miri/tests/native-lib/native-lib.map b/src/tools/miri/tests/native-lib/native-lib.map
new file mode 100644
index 00000000000..7e3bd19622a
--- /dev/null
+++ b/src/tools/miri/tests/native-lib/native-lib.map
@@ -0,0 +1,20 @@
+CODEABI_1.0 {
+    # Define which symbols to export.
+    global:
+        # scalar_arguments.c
+        add_one_int;
+        printer;
+        test_stack_spill;
+        get_unsigned_int;
+        add_int16;
+        add_short_to_long;
+
+        # ptr_read_access.c
+        print_pointer;
+        access_simple;
+        access_nested;
+        access_static;
+
+    # The rest remains private.
+    local: *;
+};