-
The space allocated for irq stats in xnintr_init() will not be freed by rtdm_irq_free(), because it just calls xnintr_detach(). Replacing it with xnintr_destroy() fixes the issue. Signed-off-by: Wolfgang Grandegger <wg@grandegger.com> Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
e1c30cf3