Index: kernel/generic/src/mm/slab.c
===================================================================
--- kernel/generic/src/mm/slab.c	(revision 1d432f9b3f6833cb86d4ee1903d5cdc12a99f6aa)
+++ kernel/generic/src/mm/slab.c	(revision 2d3ddada69970e73410065f93cd44b473eac1db0)
@@ -405,6 +405,4 @@
 /** Find full magazine, set it as current and return it
  *
- * Assume cpu_magazine lock is held
- *
  */
 static slab_magazine_t *get_full_current_mag(slab_cache_t *cache)
@@ -412,4 +410,6 @@
 	slab_magazine_t *cmag = cache->mag_cache[CPU->id].current;
 	slab_magazine_t *lastmag = cache->mag_cache[CPU->id].last;
+
+	ASSERT(spinlock_locked(&cache->mag_cache[CPU->id].lock));
 	
 	if (cmag) { /* First try local CPU magazines */
@@ -467,6 +467,4 @@
  * or NULL if no empty magazine is available and cannot be allocated
  *
- * Assume mag_cache[CPU->id].lock is held
- *
  * We have 2 magazines bound to processor.
  * First try the current.
@@ -480,4 +478,6 @@
 	slab_magazine_t *lastmag = cache->mag_cache[CPU->id].last;
 	
+	ASSERT(spinlock_locked(&cache->mag_cache[CPU->id].lock));
+
 	if (cmag) {
 		if (cmag->busy < cmag->size)