+ * A third argument, of type uint64_t*, was added to the gettimeofday syscall
+ * for use cases that also want to know the mach_absolute_time that matches the
+ * time value returned.
+ *
+ * __gettimeofday takes the traditional two arguments. It will zero out the
+ * third argument argument before entering the kernel, behaving like the old
+ * call.
+ *
+ * __gettimeofday_with_mach will pass it through and supporting kernels will
+ * copy-out the mach_absolute_time. Old kernels will leave the pointed to
+ * value alone.