foc: deny irq session creation on failure

alex-ab · Jul 20, 2018 · 460d6b3 · 460d6b3 · alex-ab · Jul 26, 2018
1 parent ac6665b
commit 460d6b3
Showing 1 changed file with 12 additions and 2 deletions.
diff --git a/repos/base-foc/src/core/irq_session_component.cc b/repos/base-foc/src/core/irq_session_component.cc
@@ -199,8 +199,18 @@ Irq_session_component::Irq_session_component(Range_allocator *irq_alloc,
 	}
 
 	Irq_args const irq_args(args);
-	_irq_object.associate(_irq_number, msi, irq_args.trigger(),
-	                      irq_args.polarity());
+	if (_irq_object.associate(_irq_number, msi, irq_args.trigger(),
+	                          irq_args.polarity()))
+		return;
+
+	/* cleanup */
+	if (msi)
+		msi_alloc.clear(_irq_number, 1);
+	else {
+		addr_t const free_irq = _irq_number;
+		_irq_alloc->free((void *)free_irq);
+	}
+	throw Service_denied();
 }