On Tue, Jan 22, 2013 at 07:50:08PM +0900, Takeshi Nakayama wrote: > Other idea is just schedule a softint in IPI-handler: I prefer to do the full TRAP_SETUP() dance (and move the function to locore.s), which will make it usefull for future work with other target functions, e.g. if we convert fpu handling to pcu(9). Martin