_ControlThreadStart
static int32 _ControlThreadStart(void* cookie);
fControlThread = spawn_thread(_ControlThreadStart, threadName, fCurrentPriority, this);
fControlThread = spawn_thread(_ControlThreadStart, "System clock control", 12, this);
static int32 _ControlThreadStart(void *arg);