/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); |