-
stop_debugged_thread() may suspend threads running on a remote CPU, we have to kick the rescheduling procedure for these changes to take effect asap. Make sure xnsched_run() is kicked from the call sites once they are done updating the scheduler state. Signed-off-by: Philippe Gerum <rpm@xenomai.org> Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
a97cf34b