| /branches/tracing/kernel/generic/include/proc/task.h |
|---|
| 95,6 → 95,7 |
| */ |
| atomic_t active_calls; |
| #ifdef CONFIG_UDEBUG |
| /** Debugging stuff */ |
| udebug_task_t udebug; |
| 106,6 → 107,7 |
| mutex_t kb_cleanup_lock; |
| /** True if cleanup of kbox has already started */ |
| bool kb_finished; |
| #endif |
| /** Architecture specific task data. */ |
| task_arch_t arch; |
| /branches/tracing/kernel/generic/include/proc/thread.h |
|---|
| 205,8 → 205,11 |
| /** Thread's kernel stack. */ |
| uint8_t *kstack; |
| #ifdef CONFIG_UDEBUG |
| /** Debugging stuff */ |
| udebug_thread_t udebug; |
| #endif |
| } thread_t; |
| /** Thread list lock. |
| /branches/tracing/kernel/generic/include/mm/as.h |
|---|
| 225,8 → 225,12 |
| extern int as_area_get_flags(as_area_t *area); |
| extern bool as_area_check_access(as_area_t *area, pf_access_t access); |
| extern size_t as_area_get_size(uintptr_t base); |
| #ifdef CONFIG_UDEBUG |
| extern int as_area_make_writeable(uintptr_t address); |
| extern int as_debug_write(uintptr_t va, void *data, size_t n); |
| #endif |
| extern int used_space_insert(as_area_t *a, uintptr_t page, count_t count); |
| extern int used_space_remove(as_area_t *a, uintptr_t page, count_t count); |