HALF_INTERVAL     776 src/platform-freebsd.cc         Sleep(HALF_INTERVAL);
HALF_INTERVAL     780 src/platform-freebsd.cc         Sleep(HALF_INTERVAL);
HALF_INTERVAL     819 src/platform-freebsd.cc     if (full_or_half == HALF_INTERVAL) interval /= 2;
HALF_INTERVAL    1139 src/platform-linux.cc         Sleep(HALF_INTERVAL);
HALF_INTERVAL    1143 src/platform-linux.cc         Sleep(HALF_INTERVAL);
HALF_INTERVAL    1187 src/platform-linux.cc     if (full_or_half == HALF_INTERVAL) interval /= 2;
HALF_INTERVAL     861 src/platform-openbsd.cc         Sleep(HALF_INTERVAL);
HALF_INTERVAL     865 src/platform-openbsd.cc         Sleep(HALF_INTERVAL);
HALF_INTERVAL     904 src/platform-openbsd.cc     if (full_or_half == HALF_INTERVAL) interval /= 2;
HALF_INTERVAL     779 src/platform-solaris.cc         Sleep(HALF_INTERVAL);
HALF_INTERVAL     783 src/platform-solaris.cc         Sleep(HALF_INTERVAL);
HALF_INTERVAL     822 src/platform-solaris.cc     if (full_or_half == HALF_INTERVAL) interval /= 2;