36,11 → 36,14 |
#define DTHREAD_H_ |
|
#include <udebug.h> |
#include <fibril.h> |
#include <libadt/list.h> |
|
typedef struct { |
int id; /* human-friendly id */ |
thash_t hash; /* system hash */ |
fid_t fid; /* id of servicing fibril */ |
int stopped; |
|
/** Link to list of debugged threads */ |
link_t link; |
51,7 → 54,12 |
|
dthread_t *dthread_new(thash_t hash); |
void dthread_delete(dthread_t *dthread); |
dthread_t *dthread_get_by_fid(fid_t fid); |
dthread_t *dthread_get(void); |
void dthread_stop_me(void); |
void dthread_resume(dthread_t *dt); |
|
|
#endif |
|
/** @} |