No matches were found for subject:"\[Xenomai\-git\] Philippe Gerum \: posix\: do not uselessly detach IRQ descriptor before deletion"