Rev 3675 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3675 | Rev 4377 | ||
|---|---|---|---|
| Line 81... | Line 81... | ||
| 81 | uint64_t cr64=cr64_read(); |
81 | uint64_t cr64=cr64_read(); |
| 82 | return ((CR64_EID_MASK)&cr64)>>CR64_EID_SHIFT; |
82 | return ((CR64_EID_MASK)&cr64)>>CR64_EID_SHIFT; |
| 83 | } |
83 | } |
| 84 | 84 | ||
| 85 | 85 | ||
| 86 | - | ||
| 87 | static inline void ipi_send_ipi(int id,int eid,int intno) |
86 | static inline void ipi_send_ipi(int id, int eid, int intno) |
| 88 | { |
87 | { |
| 89 | (bootinfo->sapic)[2*(id*256+eid)]=intno; |
88 | (bootinfo->sapic)[2 * (id * 256 + eid)] = intno; |
| 90 | srlz_d(); |
89 | srlz_d(); |
| 91 | 90 | ||
| 92 | } |
91 | } |
| 93 | 92 | ||
| 94 | - | ||
| 95 | - | ||
| 96 | #endif |
93 | #endif |
| 97 | 94 | ||
| 98 | /** @} |
95 | /** @} |
| 99 | */ |
96 | */ |