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