Rev 10 | Rev 430 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 10 | Rev 107 | ||
---|---|---|---|
Line 29... | Line 29... | ||
29 | #ifdef __SMP__ |
29 | #ifdef __SMP__ |
30 | 30 | ||
31 | #include <smp/ipi.h> |
31 | #include <smp/ipi.h> |
32 | #include <config.h> |
32 | #include <config.h> |
33 | 33 | ||
- | 34 | ||
- | 35 | /** Broadcast IPI message |
|
- | 36 | * |
|
- | 37 | * Broadcast IPI message to all CPUs. |
|
- | 38 | * |
|
- | 39 | * @param ipi Message to broadcast. |
|
- | 40 | * |
|
- | 41 | */ |
|
34 | void ipi_broadcast(int ipi) |
42 | void ipi_broadcast(int ipi) |
35 | { |
43 | { |
36 | /* |
44 | /* |
37 | * Provisions must be made to avoid sending IPI: |
45 | * Provisions must be made to avoid sending IPI: |
38 | * - before all CPU's were configured to accept the IPI |
46 | * - before all CPU's were configured to accept the IPI |