Symbol: debugged_thread_get_cpu_state