Index: kernel/generic/src/mm/slab.c
===================================================================
--- kernel/generic/src/mm/slab.c	(revision 25ebfbd4eb608d82bc8db3a27ab0f3eea9a10a33)
+++ kernel/generic/src/mm/slab.c	(revision c8d0f9e51c2c5a2a57ccd5bd36d0254ea8199cf4)
@@ -254,4 +254,6 @@
     slab_t *slab)
 {
+	ASSERT(interrupts_disabled());
+
 	if (!slab)
 		slab = obj2slab(obj);
@@ -295,4 +297,6 @@
 NO_TRACE static void *slab_obj_create(slab_cache_t *cache, unsigned int flags)
 {
+	ASSERT(interrupts_disabled());
+
 	spinlock_lock(&cache->slablock);
 	
@@ -355,4 +359,6 @@
 	link_t *cur;
 	
+	ASSERT(interrupts_disabled());
+
 	spinlock_lock(&cache->maglock);
 	if (!list_empty(&cache->magazines)) {
@@ -377,4 +383,6 @@
     slab_magazine_t *mag)
 {
+	ASSERT(interrupts_disabled());
+
 	spinlock_lock(&cache->maglock);