| /trunk/kernel/generic/include/proc/thread.h |
|---|
| 243,7 → 243,6 |
| extern void thread_destroy(thread_t *t); |
| extern void thread_update_accounting(void); |
| extern bool thread_exists(thread_t *t); |
| extern void thread_interrupt_sleep(thread_t *t); |
| /** Fpu context slab cache. */ |
| extern slab_cache_t *fpu_context_slab; |
| /trunk/kernel/generic/include/synch/waitq.h |
|---|
| 63,6 → 63,8 |
| #define waitq_sleep(wq) \ |
| waitq_sleep_timeout((wq), SYNCH_NO_TIMEOUT, SYNCH_FLAGS_NONE) |
| struct thread; |
| extern void waitq_initialize(waitq_t *wq); |
| extern int waitq_sleep_timeout(waitq_t *wq, uint32_t usec, int flags); |
| extern ipl_t waitq_sleep_prepare(waitq_t *wq); |
| 70,6 → 72,7 |
| extern void waitq_sleep_finish(waitq_t *wq, int rc, ipl_t ipl); |
| extern void waitq_wakeup(waitq_t *wq, bool all); |
| extern void _waitq_wakeup_unsafe(waitq_t *wq, bool all); |
| extern void waitq_interrupt_sleep(struct thread *t); |
| #endif |
| /trunk/kernel/generic/include/ddi/irq.h |
|---|
| 83,8 → 83,6 |
| struct irq; |
| typedef void (* irq_handler_t)(struct irq *irq, void *arg, ...); |
| /** IPC notification config structure. |
| * |
| * Primarily, this structure is encapsulated in the irq_t structure. |