#include "target/target_type.h"
#include "rtos.h"
#include "helper/log.h"
+#include "helper/types.h"
#include "rtos_standard_stackings.h"
static int ThreadX_detect_rtos(struct target *target);
NULL
};
-#define THREADX_NUM_SYMBOLS (sizeof(ThreadX_symbol_list)/sizeof(char *))
-
const struct rtos_type ThreadX_rtos = {
.name = "ThreadX",
{
unsigned int i;
*symbol_list = (symbol_table_elem_t *) malloc(
- sizeof(symbol_table_elem_t) * THREADX_NUM_SYMBOLS);
+ sizeof(symbol_table_elem_t) * ARRAY_SIZE(ThreadX_symbol_list));
- for (i = 0; i < THREADX_NUM_SYMBOLS; i++)
+ for (i = 0; i < ARRAY_SIZE(ThreadX_symbol_list); i++)
(*symbol_list)[i].symbol_name = ThreadX_symbol_list[i];
return 0;