Rev 2935 | Rev 2938 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2935 | Rev 2937 | ||
---|---|---|---|
Line 33... | Line 33... | ||
33 | */ |
33 | */ |
34 | 34 | ||
35 | #ifndef MAIN_H_ |
35 | #ifndef MAIN_H_ |
36 | #define MAIN_H_ |
36 | #define MAIN_H_ |
37 | 37 | ||
- | 38 | #include <udebug.h> |
|
- | 39 | ||
38 | #include "include/arch/types.h" |
40 | #include "include/arch/types.h" |
39 | #include "fib_synch.h" |
41 | #include "fib_synch.h" |
40 | 42 | ||
41 | typedef struct { |
43 | typedef struct { |
42 | int set; |
44 | int set; |
Line 48... | Line 50... | ||
48 | extern breakpoint_t brk_list[MAX_BRKPTS]; |
50 | extern breakpoint_t brk_list[MAX_BRKPTS]; |
49 | 51 | ||
50 | extern int app_phone; |
52 | extern int app_phone; |
51 | extern fcv_t go_cv; |
53 | extern fcv_t go_cv; |
52 | 54 | ||
- | 55 | extern thash_t thread_hash[]; |
|
- | 56 | extern int thread_id[]; |
|
- | 57 | extern unsigned n_threads; |
|
- | 58 | extern int cwt; |
|
- | 59 | ||
53 | void breakpoint_hit(void); |
60 | void breakpoint_hit(void); |
54 | 61 | ||
55 | 62 | ||
56 | #endif |
63 | #endif |
57 | 64 |