1 files changed, 13 insertions, 0 deletions
diff --git a/mach/mach_shortcuts.c b/mach/mach_shortcuts.c
new file mode 100644
index 0000000000..ef1792b003
--- /dev/null
+++ b/mach/mach_shortcuts.c
@@ -0,0 +1,13 @@
+#include <mach/mach_types.h>
+#include <mach/mach_port.h>
+
+#define	SHORTCUT(name, number, args, typed_args)			      \
+kern_return_t __##name typed_args					      \
+{									      \
+  kern_return_t ret = __syscall_##name args;				      \
+  if (ret == MACH_SEND_INTERRUPTED)					      \
+    ret = __mig_##name args;						      \
+  return ret;								      \
+}
+
+#include "mach_shortcuts.h"