Index: /trunk/ccl/lisp-kernel/lisp-exceptions.c
===================================================================
--- /trunk/ccl/lisp-kernel/lisp-exceptions.c	(revision 646)
+++ /trunk/ccl/lisp-kernel/lisp-exceptions.c	(revision 647)
@@ -2194,5 +2194,8 @@
 #include <mach/machine/thread_status.h>
 
-#define MACH_CHECK_ERROR(context,x) if (x != KERN_SUCCESS) {Bug(NULL, "Mach error while %s : ~d", context, x);}
+void
+fatal_mach_error(format, ...);
+
+#define MACH_CHECK_ERROR(context,x) if (x != KERN_SUCCESS) {fatal_mach_error("Mach error while %s : ~d", context, x);}
 
 
@@ -2738,4 +2741,17 @@
 }
 
-
-#endif
+void
+fatal_mach_error(char *format, ...)
+{
+  va_list args;
+  char s[512];
+ 
+
+  va_start(args, format);
+  vsnprintf(s, sizeof(s),format, args);
+  va_end(args);
+
+  Fatal("Mach error", s);
+}
+
+#endif