| /kernel/trunk/generic/include/print.h |
|---|
| 30,6 → 30,7 |
| #define __PRINT_H__ |
| #include <arch/types.h> |
| #include <synch/spinlock.h> |
| #define INT8 1 |
| #define INT16 2 |
| 38,4 → 39,7 |
| extern void printf(const char *fmt, ...); |
| /* We need this address in spinlock to avoid deadlock in deadlock detection */ |
| extern spinlock_t printflock; |
| #endif |
| /kernel/trunk/generic/include/proc/thread.h |
|---|
| 134,5 → 134,6 |
| extern void thread_register_call_me(void (* call_me)(void *), void *call_me_with); |
| extern void thread_print_list(void); |
| extern void thread_destroy(thread_t *t); |
| #endif |
| /kernel/trunk/generic/include/mm/slab.h |
|---|
| 70,7 → 70,7 |
| /* Configuration */ |
| size_t size; /**< Size of SLAB position - align_up(sizeof(obj)) */ |
| int (*constructor)(void *obj, int kmflag); |
| void (*destructor)(void *obj); |
| int (*destructor)(void *obj); |
| int flags; /**< Flags changing behaviour of cache */ |
| /* Computed values */ |
| 103,7 → 103,7 |
| size_t size, |
| size_t align, |
| int (*constructor)(void *obj, int kmflag), |
| void (*destructor)(void *obj), |
| int (*destructor)(void *obj), |
| int flags); |
| extern void slab_cache_destroy(slab_cache_t *cache); |