Lines Matching refs:stderr
392 fprintf(stderr, "Unknown clock %s\n", name);
920 fprintf(stderr, "Could not configure '/dev/hpet' to have a 1024Hz timer. This is not a fatal\n"
968 fprintf(stderr, "Could not configure '/dev/rtc' to have a 1024 Hz timer. This is not a fatal\n"
1018 fprintf(stderr, "Dynamic Ticks disabled\n");
1055 fprintf(stderr, "Internal timer error: aborting\n");
1068 fprintf(stderr, "Internal timer error: aborting\n");
1159 fprintf(stderr, "Failed to initialize win32 alarm timer: %ld\n",
1198 fprintf(stderr, "Failed to re-arm win32 alarm timer %ld\n",
1224 fprintf(stderr, "Failed to initialize win32 alarm timer: %ld\n",
1264 fprintf(stderr, "Failed to rearm win32 alarm timer: %ld\n",
1383 fprintf(stderr, "Bad clock read\n");
