* gdbthread.h (gdb_id_to_thread): Delete, unused.