Rev 3441 | Rev 3468 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3441 | Rev 3457 | ||
|---|---|---|---|
| Line 31... | Line 31... | ||
| 31 | */ |
31 | */ |
| 32 | 32 | ||
| 33 | /** |
33 | /** |
| 34 | * @file |
34 | * @file |
| 35 | * @brief Udebug IPC message handling. |
35 | * @brief Udebug IPC message handling. |
| - | 36 | * |
|
| - | 37 | * This module handles udebug IPC messages and calls the appropriate |
|
| - | 38 | * functions from the udebug_ops module which implement them. |
|
| 36 | */ |
39 | */ |
| 37 | 40 | ||
| 38 | #include <proc/task.h> |
41 | #include <proc/task.h> |
| 39 | #include <proc/thread.h> |
42 | #include <proc/thread.h> |
| 40 | #include <arch.h> |
43 | #include <arch.h> |