From 7d8f8c405ff069a5e8e3347b8af8e73b8224a911 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 23 Jan 2021 18:14:57 +0100
Subject: [PATCH] macos: support aarch64 link names

---
 src/shims/posix/macos/foreign_items.rs | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/shims/posix/macos/foreign_items.rs b/src/shims/posix/macos/foreign_items.rs
index 72ec7a5d970..a4b0ce524df 100644
--- a/src/shims/posix/macos/foreign_items.rs
+++ b/src/shims/posix/macos/foreign_items.rs
@@ -25,32 +25,32 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
             }
 
             // File related shims
-            "close$NOCANCEL" => {
+            "close" | "close$NOCANCEL" => {
                 let &[result] = check_arg_count(args)?;
                 let result = this.close(result)?;
                 this.write_scalar(Scalar::from_i32(result), dest)?;
             }
-            "stat$INODE64" => {
+            "stat" | "stat$INODE64" => {
                 let &[path, buf] = check_arg_count(args)?;
                 let result = this.macos_stat(path, buf)?;
                 this.write_scalar(Scalar::from_i32(result), dest)?;
             }
-            "lstat$INODE64" => {
+            "lstat" | "lstat$INODE64" => {
                 let &[path, buf] = check_arg_count(args)?;
                 let result = this.macos_lstat(path, buf)?;
                 this.write_scalar(Scalar::from_i32(result), dest)?;
             }
-            "fstat$INODE64" => {
+            "fstat" | "fstat$INODE64" => {
                 let &[fd, buf] = check_arg_count(args)?;
                 let result = this.macos_fstat(fd, buf)?;
                 this.write_scalar(Scalar::from_i32(result), dest)?;
             }
-            "opendir$INODE64" => {
+            "opendir" | "opendir$INODE64" => {
                 let &[name] = check_arg_count(args)?;
                 let result = this.opendir(name)?;
                 this.write_scalar(result, dest)?;
             }
-            "readdir_r$INODE64" => {
+            "readdir_r" | "readdir_r$INODE64" => {
                 let &[dirp, entry, result] = check_arg_count(args)?;
                 let result = this.macos_readdir_r(dirp, entry, result)?;
                 this.write_scalar(Scalar::from_i32(result), dest)?;