summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--bsps/shared/irq/irq-server.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/bsps/shared/irq/irq-server.c b/bsps/shared/irq/irq-server.c
index fe96b59cd4..19d03dc33f 100644
--- a/bsps/shared/irq/irq-server.c
+++ b/bsps/shared/irq/irq-server.c
@@ -682,6 +682,8 @@ static void bsp_interrupt_server_destroy_helper(void *arg)
rtems_chain_extract_unprotected(&s->node);
bsp_interrupt_unlock();
+ rtems_interrupt_lock_destroy(&s->lock);
+
if (s->destroy != NULL) {
(*s->destroy)(s);
}