Index: kernel/generic/include/synch/spinlock.h
===================================================================
--- kernel/generic/include/synch/spinlock.h	(revision 15d9fe658a0f05d8f11f65e26e719b38c268b096)
+++ kernel/generic/include/synch/spinlock.h	(revision d0c2bebfdc87b9df8cb7c858eed6cead8e2db0b3)
@@ -112,5 +112,5 @@
 
 extern void spinlock_initialize(spinlock_t *, const char *);
-extern int spinlock_trylock(spinlock_t *);
+extern bool spinlock_trylock(spinlock_t *);
 extern void spinlock_lock_debug(spinlock_t *);
 extern void spinlock_unlock_debug(spinlock_t *);
@@ -287,5 +287,5 @@
 extern void irq_spinlock_lock(irq_spinlock_t *, bool);
 extern void irq_spinlock_unlock(irq_spinlock_t *, bool);
-extern int irq_spinlock_trylock(irq_spinlock_t *);
+extern bool irq_spinlock_trylock(irq_spinlock_t *);
 extern void irq_spinlock_pass(irq_spinlock_t *, irq_spinlock_t *);
 extern void irq_spinlock_exchange(irq_spinlock_t *, irq_spinlock_t *);
Index: kernel/generic/include/synch/workqueue.h
===================================================================
--- kernel/generic/include/synch/workqueue.h	(revision 15d9fe658a0f05d8f11f65e26e719b38c268b096)
+++ kernel/generic/include/synch/workqueue.h	(revision d0c2bebfdc87b9df8cb7c858eed6cead8e2db0b3)
@@ -61,13 +61,13 @@
 extern void workq_global_worker_init(void);
 extern void workq_global_stop(void);
-extern int workq_global_enqueue_noblock(work_t *, work_func_t);
-extern int workq_global_enqueue(work_t *, work_func_t);
+extern bool workq_global_enqueue_noblock(work_t *, work_func_t);
+extern bool workq_global_enqueue(work_t *, work_func_t);
 
 extern struct work_queue * workq_create(const char *);
 extern void workq_destroy(struct work_queue *);
-extern int workq_init(struct work_queue *, const char *);
+extern bool workq_init(struct work_queue *, const char *);
 extern void workq_stop(struct work_queue *);
-extern int workq_enqueue_noblock(struct work_queue *, work_t *, work_func_t);
-extern int workq_enqueue(struct work_queue *, work_t *, work_func_t);
+extern bool workq_enqueue_noblock(struct work_queue *, work_t *, work_func_t);
+extern bool workq_enqueue(struct work_queue *, work_t *, work_func_t);
 
 extern void workq_print_info(struct work_queue *);