diff --git a/mps/code/protxc.c b/mps/code/protxc.c
index a3377d28449..6dbe0d91c13 100644
--- a/mps/code/protxc.c
+++ b/mps/code/protxc.c
@@ -24,16 +24,22 @@
* thread to progress.
*
*
- * SOURCES
- *
- * .source.man:
- *
- *
- *
* REFERENCES
*
* [Fuller_2013] "Mach Exception Handlers"; Landon Fuller;
- *
+ * .
+ *
+ * [XNU] "xnu-2050.22.13" source code;
+ * Apple Computer;
+ * .
+ *
+ * [Mach_man] Mach man pages within XNU;
+ * Apple Computer;
+ * .
+ *
+ * [Libc] "Libc-825.26" source code;
+ * Apple Computer;
+ * .
*
*
* TRANSGRESSIONS
@@ -172,7 +178,8 @@ static void protMustSend(mach_msg_header_t *head)
*
* Mac OS X provides a function exc_server (in
* /usr/lib/system/libsystem_kernel.dylib) that's documented in the XNU
- * sources and generated by the Mach Interface Generator (mig). It unpacks
+ * sources
+ * and generated by the Mach Interface Generator (mig). It unpacks
* an exception message structure and calls one of several handler functions.
* We can't use it because:
*
@@ -251,7 +258,7 @@ static void protCatchOne(void)
task-wide exception handler, but the code is pretty hairy and not
necessary as long as the MPS is registering threads individually.
If we ever need to reinstate that code, look at
- //info.ravenbrook.com/project/mps/branch/2013-06-18/macosx-threads/code/protxc.c#3 */
+ https://info.ravenbrook.com/project/mps/prototype/2013-06-24/machtest */
protBuildReply(&reply, &request, KERN_FAILURE);
protMustSend(&reply.Head);
@@ -352,8 +359,8 @@ static void protSetup(void)
/* Launch the exception handling thread. We use pthread_create because
it's much simpler than setting up a thread from scratch using Mach,
- and that's basically what it does (by inspection of the XNU source
- code). */
+ and that's basically what it does. See [Libc]
+ */
pr = pthread_create(&excThread, NULL, protCatchThread, NULL);
AVER(pr == 0);
if (pr != 0)
diff --git a/mps/code/thxc.c b/mps/code/thxc.c
index e36e4cd9886..659ad5dd7e1 100644
--- a/mps/code/thxc.c
+++ b/mps/code/thxc.c
@@ -4,10 +4,10 @@
* Copyright (c) 2013 Ravenbrook Limited. See end of file for license.
*
* REFERENCES
- * "Abusing Mach on Mac OS X"
- * Mach man pages
*
- * TODO: Consider making Register a no-op and using task_threads().
+ * [Mach_man] Mach man pages within XNU;
+ * Apple Computer;
+ * .
*/
#include "mpm.h"