Marius Strobl 82f131f39b Don't include curcpu in the mask which is used as the IPI cookie as we
have to ignore it when sending the IPI anyway. Actually I can't think of
a good reason why this ever was done that way in the first place as it's
not even usefull for debugging.
While at it replace the use of pc_other_cpus as it's slated for deorbit.
2011-06-15 22:41:55 +00:00
..
2011-05-06 21:53:29 +00:00
2010-09-15 21:11:29 +00:00
2011-05-10 21:18:45 +00:00
2011-04-22 09:31:40 +00:00
2011-02-21 09:01:34 +00:00
2011-05-06 21:53:29 +00:00