-
Signed-off-by: Philippe Gerum <rpm@xenomai.org> [Jan: style tweak in detach_current] Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
10123d52
Signed-off-by: Philippe Gerum <rpm@xenomai.org> [Jan: style tweak in detach_current] Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>