Rev 3588 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3588 | Rev 3674 | ||
|---|---|---|---|
| Line 85... | Line 85... | ||
| 85 | 85 | ||
| 86 | 86 | ||
| 87 | static inline void ipi_send_ipi(int id,int eid,int intno) |
87 | static inline void ipi_send_ipi(int id,int eid,int intno) |
| 88 | { |
88 | { |
| 89 | (bootinfo->sapic)[2*(id*256+eid)]=intno; |
89 | (bootinfo->sapic)[2*(id*256+eid)]=intno; |
| - | 90 | srlz_d(); |
|
| - | 91 | ||
| 90 | } |
92 | } |
| 91 | 93 | ||
| 92 | 94 | ||
| 93 | 95 | ||
| 94 | #endif |
96 | #endif |