eclair: fix register GDB response for descheduled threads

Change-Id: I0001d094b624bc03f2b178ec28a4cab51e2acaf0

executer/user/eclair.h

@@ -9,16 +9,26 @@
 #include <arch-eclair.h>
 
 /* common */
+int read_mem(uintptr_t va, void *buf, size_t size);
+#define NOSYMBOL ((uintptr_t)-1)
 uintptr_t lookup_symbol(char *name);
 int read_symbol_64(char *name, void *buf);
 ssize_t print_bin(char *buf, size_t buf_size, void *data, size_t size);
 
 /* arch depend */
 int print_kregs(char *rbp, size_t rbp_size, const struct arch_kregs *kregs);
+int arch_read_kregs(unsigned long ctx, struct arch_kregs *kregs);
 
 #define NOPHYS ((uintptr_t)-1)
 uintptr_t virt_to_phys(uintptr_t va);
 
 int arch_setup_constants(void);
 
+//#define DEBUG
+#ifdef DEBUG
+#define dprintf printf
+#else
+#define dprintf(...) do {} while (0)
+#endif
+
 #endif	/* HEADER_USER_COMMON_ECLAIR_H */