On Thu, 2007-10-18 at 22:46 +0200, Jan Kiszka wrote:
> Hi Philippe,
>
> what's the point about
>
> if (xnsched_resched_p())
> xnpod_schedule();
>
> at the beginning of do_hisyscall_event() [1]? Could you provide a
> comment for the background of this hunk? Or can we even remo
Hi Philippe,
what's the point about
if (xnsched_resched_p())
xnpod_schedule();
at the beginning of do_hisyscall_event() [1]? Could you provide a
comment for the background of this hunk? Or can we even remove it?
Jan
[1]http://www.rts.uni-hannover.de/xenomai/lxr/source/k