Index: kernel/generic/src/smp/smp_call.c
===================================================================
--- kernel/generic/src/smp/smp_call.c	(revision cc106e483d059603a58bf1afab2123168615a299)
+++ kernel/generic/src/smp/smp_call.c	(revision 9fe9d296d25d20339552aebcfe9b776a1bf262f8)
@@ -107,5 +107,11 @@
 	smp_call_t *call_info)
 {
-	/* todo: doc deadlock */
+	/* 
+	 * Interrupts must not be disabled or you run the risk of a deadlock 
+	 * if both the destination and source cpus try to send an IPI to each
+	 * other with interrupts disabled. Because the interrupts are disabled 
+	 * the IPIs cannot be delivered and both cpus will forever busy wait 
+	 * for an acknowledgment of the IPI from the other cpu.
+	 */
 	ASSERT(!interrupts_disabled());
 	ASSERT(call_info != NULL);