Index: generic/src/smp/ipi.c
===================================================================
--- generic/src/smp/ipi.c	(revision 5f85c910c3b85368172260d2de0f5da623a4742b)
+++ generic/src/smp/ipi.c	(revision 953b0f336c4e9e8b01c3fa6bd0ac99c8d7c49909)
@@ -27,4 +27,9 @@
  */
 
+/**
+ * @file	ipi.c
+ * @brief	Generic IPI interface.
+ */
+ 
 #ifdef CONFIG_SMP
 
@@ -39,4 +44,8 @@
  * @param ipi Message to broadcast.
  *
+ * @bugs The decision whether to actually send the IPI must be based
+ *	 on a different criterion. The current version has
+ *	 problems when some of the detected CPUs are marked
+ *	 disabled in machine configuration.
  */
 void ipi_broadcast(int ipi)