1 /***************************************************************************
2 * Copyright (C) 2011 by Broadcom Corporation *
3 * Evan Hunter - ehunter@broadcom.com *
5 * This program is free software; you can redistribute it and/or modify *
6 * it under the terms of the GNU General Public License as published by *
7 * the Free Software Foundation; either version 2 of the License, or *
8 * (at your option) any later version. *
10 * This program is distributed in the hope that it will be useful, *
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of *
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *
13 * GNU General Public License for more details. *
15 * You should have received a copy of the GNU General Public License *
16 * along with this program; if not, write to the *
17 * Free Software Foundation, Inc., *
18 * 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *
19 ***************************************************************************/
25 #include "server/server.h"
26 #include <helper/types.h>
29 typedef int64_t threadid_t
;
30 typedef int64_t symbol_address_t
;
35 * Table should be terminated by an element with NULL in symbol_name
37 typedef struct symbol_table_elem_struct
40 symbol_address_t address
;
42 } symbol_table_elem_t
;
49 char * thread_name_str
;
50 char * extra_info_str
;
55 const struct rtos_type
*type
;
58 symbol_table_elem_t
* symbols
;
59 struct target
*target
;
61 threadid_t current_thread
;
62 struct thread_detail
* thread_details
;
65 void * rtos_specific_params
;
74 int (*detect_rtos
) ( struct target
* target
);
75 int (*create
) ( struct target
* target
);
76 int (*update_threads
) ( struct rtos
* rtos
);
77 int (*get_thread_reg_list
) ( struct rtos
*rtos
, int64_t thread_id
, char ** hex_reg_list
);
78 int (*get_symbol_list_to_lookup
) (symbol_table_elem_t
* symbol_list
[] );
82 struct stack_register_offset
84 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
85 unsigned short width_bits
;
89 struct rtos_register_stacking
91 unsigned char stack_registers_size
;
92 signed char stack_growth_direction
;
93 unsigned char num_output_registers
;
94 unsigned char stack_alignment
;
95 const struct stack_register_offset
* register_offsets
;
98 #define GDB_THREAD_PACKET_NOT_CONSUMED (-40)
100 int rtos_create(Jim_GetOptInfo
*goi
, struct target
* target
);
101 int rtos_generic_stack_read( struct target
* target
, const struct rtos_register_stacking
* stacking
, int64_t stack_ptr
, char ** hex_reg_list
);
102 int rtos_try_next( struct target
* target
);
103 int gdb_thread_packet(struct connection
*connection
, char *packet
, int packet_size
);
104 int rtos_get_gdb_reg_list(struct connection
*connection
);
105 int rtos_update_threads( struct target
*target
);