/trunk/kernel/arch/ia64/include/cpu.h |
---|
83,16 → 83,13 |
} |
static inline void ipi_send_ipi(int id,int eid,int intno) |
static inline void ipi_send_ipi(int id, int eid, int intno) |
{ |
(bootinfo->sapic)[2*(id*256+eid)]=intno; |
(bootinfo->sapic)[2 * (id * 256 + eid)] = intno; |
srlz_d(); |
} |
#endif |
/** @} |