1 files changed, 19 insertions, 0 deletions
diff --git a/open_issues/xen_lseek/test-mach.c b/open_issues/xen_lseek/test-mach.c
new file mode 100644
index 00000000..90337346
--- /dev/null
+++ b/open_issues/xen_lseek/test-mach.c
@@ -0,0 +1,19 @@
+#define _GNU_SOURCE
+#include <stdio.h>
+#include <fcntl.h>
+#include <mach/mach.h>
+#define N 1000000
+int main(void) {
+	struct timeval tv1, tv2;
+	int i;
+	task_t task;
+	task = mach_task_self();
+	mach_port_urefs_t refs;
+	gettimeofday(&tv1, NULL);
+	for (i = 0; i < N; i++) {
+		mach_port_get_refs(task, task, MACH_PORT_RIGHT_RECEIVE, &refs);
+	}
+	gettimeofday(&tv2, NULL);
+	printf("%fµs\n", (float)((tv2.tv_sec-tv1.tv_sec) * 1000000 + tv2.tv_usec - tv1.tv_usec)/N);
+	return 0;
+}