Index: kernel/generic/include/adt/bitmap.h
===================================================================
--- kernel/generic/include/adt/bitmap.h	(revision 7565a4b969469fdb7178a8e1f8f2feec7ee7cc64)
+++ kernel/generic/include/adt/bitmap.h	(revision 89ea2dc48f26dfcd2aba2a270dac8523cec931c2)
@@ -37,4 +37,5 @@
 
 #include <stddef.h>
+#include <stdbool.h>
 
 #define BITMAP_ELEMENT   8
@@ -81,5 +82,5 @@
 extern void bitmap_clear_range(bitmap_t *, size_t, size_t);
 
-extern int bitmap_allocate_range(bitmap_t *, size_t, size_t, size_t, size_t,
+extern bool bitmap_allocate_range(bitmap_t *, size_t, size_t, size_t, size_t,
     size_t *);
 extern void bitmap_copy(bitmap_t *, bitmap_t *, size_t);
Index: kernel/generic/include/synch/spinlock.h
===================================================================
--- kernel/generic/include/synch/spinlock.h	(revision 7565a4b969469fdb7178a8e1f8f2feec7ee7cc64)
+++ kernel/generic/include/synch/spinlock.h	(revision 89ea2dc48f26dfcd2aba2a270dac8523cec931c2)
@@ -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 7565a4b969469fdb7178a8e1f8f2feec7ee7cc64)
+++ kernel/generic/include/synch/workqueue.h	(revision 89ea2dc48f26dfcd2aba2a270dac8523cec931c2)
@@ -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 *);
Index: kernel/generic/src/adt/bitmap.c
===================================================================
--- kernel/generic/src/adt/bitmap.c	(revision 7565a4b969469fdb7178a8e1f8f2feec7ee7cc64)
+++ kernel/generic/src/adt/bitmap.c	(revision 89ea2dc48f26dfcd2aba2a270dac8523cec931c2)
@@ -269,5 +269,5 @@
  *
  */
-int bitmap_allocate_range(bitmap_t *bitmap, size_t count, size_t base,
+bool bitmap_allocate_range(bitmap_t *bitmap, size_t count, size_t base,
     size_t prefered, size_t constraint, size_t *index)
 {
Index: kernel/generic/src/synch/spinlock.c
===================================================================
--- kernel/generic/src/synch/spinlock.c	(revision 7565a4b969469fdb7178a8e1f8f2feec7ee7cc64)
+++ kernel/generic/src/synch/spinlock.c	(revision 89ea2dc48f26dfcd2aba2a270dac8523cec931c2)
@@ -153,8 +153,8 @@
  *
  */
-int spinlock_trylock(spinlock_t *lock)
+bool spinlock_trylock(spinlock_t *lock)
 {
 	preemption_disable();
-	int rc = !test_and_set(&lock->val);
+	bool ret = !test_and_set(&lock->val);
 	
 	/*
@@ -163,8 +163,8 @@
 	CS_ENTER_BARRIER();
 	
-	if (!rc)
+	if (!ret)
 		preemption_enable();
 	
-	return rc;
+	return ret;
 }
 
@@ -257,11 +257,11 @@
  *
  */
-int irq_spinlock_trylock(irq_spinlock_t *lock)
+bool irq_spinlock_trylock(irq_spinlock_t *lock)
 {
 	ASSERT_IRQ_SPINLOCK(interrupts_disabled(), lock);
-	int rc = spinlock_trylock(&(lock->lock));
-	
-	ASSERT_IRQ_SPINLOCK((!rc) || (!lock->guard), lock);
-	return rc;
+	bool ret = spinlock_trylock(&(lock->lock));
+	
+	ASSERT_IRQ_SPINLOCK((!ret) || (!lock->guard), lock);
+	return ret;
 }
 
Index: kernel/generic/src/synch/workqueue.c
===================================================================
--- kernel/generic/src/synch/workqueue.c	(revision 7565a4b969469fdb7178a8e1f8f2feec7ee7cc64)
+++ kernel/generic/src/synch/workqueue.c	(revision 89ea2dc48f26dfcd2aba2a270dac8523cec931c2)
@@ -256,5 +256,5 @@
  * workq_stop().
  */
-int workq_init(struct work_queue *workq, const char *name)
+bool workq_init(struct work_queue *workq, const char *name)
 {
 	workq_preinit(workq, name);
@@ -394,5 +394,5 @@
  * See workq_enqueue_noblock() for more details.
  */
-int workq_global_enqueue_noblock(work_t *work_item, work_func_t func)
+bool workq_global_enqueue_noblock(work_t *work_item, work_func_t func)
 {
 	return workq_enqueue_noblock(&g_work_queue, work_item, func);
@@ -403,5 +403,5 @@
  * See workq_enqueue() for more details.
  */
-int workq_global_enqueue(work_t *work_item, work_func_t func)
+bool workq_global_enqueue(work_t *work_item, work_func_t func)
 {
 	return workq_enqueue(&g_work_queue, work_item, func);
@@ -426,5 +426,5 @@
  * @return true  Otherwise. func() will be invoked in a separate thread.
  */
-int workq_enqueue_noblock(struct work_queue *workq, work_t *work_item, 
+bool workq_enqueue_noblock(struct work_queue *workq, work_t *work_item, 
 	work_func_t func)
 {
@@ -446,5 +446,5 @@
  * @return true  Otherwise. func() will be invoked in a separate thread.
  */
-int workq_enqueue(struct work_queue *workq, work_t *work_item, work_func_t func)
+bool workq_enqueue(struct work_queue *workq, work_t *work_item, work_func_t func)
 {
 	return _workq_enqueue(workq, work_item, func, true);