Index: tools/gdb/utils-gdb.py
===================================================================
--- tools/gdb/utils-gdb.py	(revision 7c6b26295c6df7c6d63a5b32ac5bbeb5f44401af)
+++ tools/gdb/utils-gdb.py	(revision ff79d5e0c1b8084b524b4eea26224b2ddde2512a)
@@ -59,5 +59,5 @@
 					 thread_ptr = gdb.lookup_type('struct $thread').pointer(),
 						int_ptr = gdb.lookup_type('int').pointer(),
-				   thread_state = gdb.lookup_type('enum coroutine_state'))
+				   thread_state = gdb.lookup_type('enum __Coroutine_State'))
 
 def get_addr(addr):