PID_CAST 2073 src/dps8/dps8_cpu.c thread_name, PID_CAST _sir_gettid()); PID_CAST 2076 src/dps8/dps8_cpu.c PID_CAST _sir_gettid()); PID_CAST 192 src/libsir/src/sirinternal.c PID_CAST _cfg->state.pid); PID_CAST 617 src/libsir/src/sirinternal.c PID_CAST tid);