Re: Linux ARM, does schedule() jumps to user space ?