#include "jdb_tcb.h"
#include "jdb_tcb_i.h"
Functions | |
int | jdb_disasm_one_line (int len, Address &addr, int show_symbols, Task_num task) __attribute__((weak)) |
int | jdb_disasm_addr_task (Address addr, Task_num task, int level) __attribute__((weak)) |
int | jdb_dump_addr_task (Address addr, Task_num task, int level) __attribute__((weak)) |
int | jdb_show_tcb (L4_uid tid, int level) |
|
|
|
|
|
|
|
|