<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">Hi,</span><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">

<br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">I was wondering whether I can send a IPI to anther core in user space. Furthermore, can I broadcast IPIs to multiple cores at the same time?</div>

<div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)"><br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">

I checked the code in /user/bench/ipi_bench.c, it seems exactly what I want (except broadcast) but it won&#39;t compile correctly. And it also seems to be for X86_64 only. The comment in <a href="http://symbolic_targets.mk/" target="_blank" style="color:rgb(17,85,204)">symbolic_targets.mk</a> says the ipi_bench target is broken in the newidc system.</div>

<div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)"><br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">

Thanks,</div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;background-color:rgb(255,255,255)">Jinghao</div>