Changes in kernel/generic/src/smp/ipi.c [fe32163:26d3ae2] in mainline
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/generic/src/smp/ipi.c
rfe32163 r26d3ae2 47 47 * @param ipi Message to broadcast. 48 48 * 49 * @bug The decision whether to actually send the IPI must be based 50 * on a different criterion. The current version has 51 * problems when some of the detected CPUs are marked 52 * disabled in machine configuration. 49 53 */ 50 54 void ipi_broadcast(int ipi) … … 56 60 */ 57 61 58 if ( config.cpu_count > 1)62 if ((config.cpu_active > 1) && (config.cpu_active == config.cpu_count)) 59 63 ipi_broadcast_arch(ipi); 60 64 }
Note:
See TracChangeset
for help on using the changeset viewer.