_enc_video_thread_
fThreadIdEncVideo = spawn_thread(_enc_video_thread_, "DVB video streaming",
static int32 _enc_video_thread_(void *arg);
