Rev 1264 | Rev 1702 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1264 | Rev 1288 | ||
---|---|---|---|
Line 41... | Line 41... | ||
41 | * |
41 | * |
42 | * Broadcast IPI message to all CPUs. |
42 | * Broadcast IPI message to all CPUs. |
43 | * |
43 | * |
44 | * @param ipi Message to broadcast. |
44 | * @param ipi Message to broadcast. |
45 | * |
45 | * |
46 | * @bugs The decision whether to actually send the IPI must be based |
46 | * @bug The decision whether to actually send the IPI must be based |
47 | * on a different criterion. The current version has |
47 | * on a different criterion. The current version has |
48 | * problems when some of the detected CPUs are marked |
48 | * problems when some of the detected CPUs are marked |
49 | * disabled in machine configuration. |
49 | * disabled in machine configuration. |
50 | */ |
50 | */ |
51 | void ipi_broadcast(int ipi) |
51 | void ipi_broadcast(int ipi) |
52 | { |
52 | { |
53 | /* |
53 | /* |
54 | * Provisions must be made to avoid sending IPI: |
54 | * Provisions must be made to avoid sending IPI: |