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> |