sir_debug         189 src/libsir/include/sir.h bool sir_debug(PRINTF_FORMAT const char* format, ...);
sir_debug          69 src/libsir/src/sir.c bool sir_debug(PRINTF_FORMAT const char* format, ...) {
sir_debug         141 src/simh/sim_timer.c     (void)sir_debug("pthread_getschedparam failed, not changing priority");
sir_debug         165 src/simh/sim_timer.c     (void)sir_debug("pthread_setschedparam failed changing priority to %d", sched_param.sched_priority);