/kernel/trunk/generic/src/smp/ipi.c |
---|
43,7 → 43,7 |
* |
* @param ipi Message to broadcast. |
* |
* @bugs The decision whether to actually send the IPI must be based |
* @bug 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. |