+#if defined(INTEGRITY)
+ int arg;
+ int rc = socketpair(AF_LOCAL, SOCK_STREAM, 0, workerWakeupPipe);
+ if (rc == -1) {
+ printf("failed to create socketpair: %d\n", errno);
+ }
+ arg = fcntl(workerWakeupPipe[0], F_GETFL,0);
+ fcntl(workerWakeupPipe[0], F_SETFL, arg | O_NONBLOCK);
+ arg = fcntl(workerWakeupPipe[1], F_GETFL,0);
+ fcntl(workerWakeupPipe[1], F_SETFL, arg | O_NONBLOCK);
+#else