Re: [Xenomai] ipipe: fix domain migration helper

[Jan Kiszka <jan.kiszka@siemens.com>]

On 2013-01-16 16:52, Jan Kiszka wrote:
> @@ -1095,12 +1120,8 @@ int __ipipe_switch_tail(void)
>  	hard_local_irq_disable();
>  #endif
>  	x = __ipipe_root_p;
> -
> -#ifdef CONFIG_IPIPE_LEGACY
> -	current->state &= ~TASK_HARDENING;
> -#else
> -	complete_domain_migration();
> -#endif	/* !CONFIG_IPIPE_LEGACY */
> +	if (x)
> +		complete_domain_migration();

This seems wrong, at least for legacy: Now we no longer clear
TASK_HARDENING after the switch back from the gatekeeper because the
current domain is Xenomai then. Does the new migration scheme work
differently in this regard? Then we will have to keep the #ifdef.

Do I get this correctly that the patch did not target an issue with
legacy usage? Or is there still a problem that could also affect Xenomai
2.6?

Jan

-- 
Siemens AG, Corporate Technology, CT RTC ITP SDP-DE
Corporate Competence Center Embedded Linux