set_thread_debugging_flags
status_t set_thread_debugging_flags(port_id nubPort, thread_id thread,
if (set_thread_debugging_flags(nubPort, threadID, threadDebugFlags)