On Thu, Jan 24, 2013 at 05:55:47AM +0900, Takeshi Nakayama wrote: > No, it's hard to avoid the duplicate by my idea. > > So I prefer your code if called IPI-functions is relatively light > task (in this case, just call a softint_schedule). OK, I have commited it and request [pullup-6 #797]. Thanks, Martin