215,6 → 215,8 |
/** Run a thread until a debugging event occurs. |
* This message is answered when the thread stops |
* in a debugging event. |
* |
* - ARG1 - id of the thread to run |
*/ |
#define IPC_M_DEBUG_GO 11 |
|
236,6 → 238,20 |
*/ |
#define IPC_M_DEBUG_ARGS_READ 12 |
|
/** Read the list of the debugged tasks's threads. |
* |
* - ARG1 - destination address in the caller's address space |
* - ARG2 - size of receiving buffer in bytes |
* |
* The kernel fills the buffer with a series of sysarg_t values |
* (thread ids). On answer, the kernel will set: |
* |
* - ARG1 - number of bytes that were actually copied |
* - ARG2 - number of bytes of the complete data |
* |
*/ |
#define IPC_M_DEBUG_THREAD_READ 13 |
|
/* Well-known methods */ |
#define IPC_M_LAST_SYSTEM 511 |
#define IPC_M_PING 512 |