aboutsummaryrefslogtreecommitdiff
path: root/src/rtos/rtos.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/rtos/rtos.h')
-rw-r--r--src/rtos/rtos.h79
1 files changed, 35 insertions, 44 deletions
diff --git a/src/rtos/rtos.h b/src/rtos/rtos.h
index 80ba0e2..a93daee 100644
--- a/src/rtos/rtos.h
+++ b/src/rtos/rtos.h
@@ -21,7 +21,6 @@
#ifndef RTOS_H
#define RTOS_H
-
#include "server/server.h"
#include <helper/types.h>
#include <jim-nvp.h>
@@ -34,83 +33,75 @@ struct reg;
/**
* Table should be terminated by an element with NULL in symbol_name
*/
-typedef struct symbol_table_elem_struct
-{
- char * symbol_name;
+typedef struct symbol_table_elem_struct {
+ char *symbol_name;
symbol_address_t address;
} symbol_table_elem_t;
-struct thread_detail
-{
+struct thread_detail {
threadid_t threadid;
bool exists;
- char * display_str;
- char * thread_name_str;
- char * extra_info_str;
+ char *display_str;
+ char *thread_name_str;
+ char *extra_info_str;
};
-struct rtos
-{
+struct rtos {
const struct rtos_type *type;
-
- symbol_table_elem_t * symbols;
+ symbol_table_elem_t *symbols;
struct target *target;
/* add a context variable instead of global variable */
int64_t current_threadid;
threadid_t current_thread;
- struct thread_detail* thread_details;
+ struct thread_detail *thread_details;
int thread_count;
int (*gdb_thread_packet)(struct connection *connection, char *packet, int packet_size);
- void * rtos_specific_params;
-
-
+ void *rtos_specific_params;
};
-
-
-struct rtos_type
-{
- char * name;
- int (*detect_rtos) ( struct target* target );
- int (*create) ( struct target* target );
+struct rtos_type {
+ char *name;
+ int (*detect_rtos)(struct target *target);
+ int (*create)(struct target *target);
int (*smp_init)(struct target *target);
- int (*update_threads) ( struct rtos* rtos );
- int (*get_thread_reg_list) ( struct rtos *rtos, int64_t thread_id, char ** hex_reg_list );
- int (*get_symbol_list_to_lookup) (symbol_table_elem_t * symbol_list[] );
+ int (*update_threads)(struct rtos *rtos);
+ int (*get_thread_reg_list)(struct rtos *rtos, int64_t thread_id, char **hex_reg_list);
+ int (*get_symbol_list_to_lookup)(symbol_table_elem_t *symbol_list[]);
int (*clean)(struct target *target);
char * (*ps_command)(struct target *target);
};
-
-struct stack_register_offset
-{
- signed short offset; // offset in bytes from stack head, or -1 to indicate register is not stacked, or -2 to indicate this is the stack pointer register
+struct stack_register_offset {
+ signed short offset; /* offset in bytes from stack head, or -1 to indicate
+ * register is not stacked, or -2 to indicate this is the
+ * stack pointer register */
unsigned short width_bits;
-
};
-struct rtos_register_stacking
-{
- unsigned char stack_registers_size;
- signed char stack_growth_direction;
- unsigned char num_output_registers;
- unsigned char stack_alignment;
- const struct stack_register_offset* register_offsets;
+struct rtos_register_stacking {
+ unsigned char stack_registers_size;
+ signed char stack_growth_direction;
+ unsigned char num_output_registers;
+ unsigned char stack_alignment;
+ const struct stack_register_offset *register_offsets;
};
#define GDB_THREAD_PACKET_NOT_CONSUMED (-40)
-int rtos_create(Jim_GetOptInfo *goi, struct target * target);
-int rtos_generic_stack_read( struct target * target, const struct rtos_register_stacking* stacking, int64_t stack_ptr, char ** hex_reg_list );
-int rtos_try_next( struct target * target );
+int rtos_create(Jim_GetOptInfo *goi, struct target *target);
+int rtos_generic_stack_read(struct target *target,
+ const struct rtos_register_stacking *stacking,
+ int64_t stack_ptr,
+ char **hex_reg_list);
+int rtos_try_next(struct target *target);
int gdb_thread_packet(struct connection *connection, char *packet, int packet_size);
int rtos_get_gdb_reg_list(struct connection *connection);
-int rtos_update_threads( struct target *target );
+int rtos_update_threads(struct target *target);
int rtos_smp_init(struct target *target);
/* function for handling symbol access */
int rtos_qsymbol(struct connection *connection, char *packet, int packet_size);
int str_to_hex(char *hex_dst, char *src);
-#endif // RTOS_H
+#endif /* RTOS_H */