source:
mainline/kernel/generic/src/udebug@
d7dfa05
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| udebug.c | 13.4 KB | fafb8e5 | 7 years | Mechanically lowercase IPC_SET_*/IPC_GET_* | |
| udebug_ipc.c | 11.5 KB | 64b7854 | 7 years | Use uspace_addr_t instead of uspace_ptr(void) | |
| udebug_ops.c | 15.9 KB | e39d7b8 | 7 years | Change type of uspace pointers in kernel from pointer type to numeric … | |
|
Note:
See TracBrowser
for help on using the repository browser.
