From 30db0c536435aa298915dc0f7cae6307045095a3 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Fri, 28 Aug 2015 10:18:59 +0200
Subject: [PATCH] hw: prevent compiler warning

---
 repos/base-hw/src/core/irq_session_component.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base-hw/src/core/irq_session_component.cc b/repos/base-hw/src/core/irq_session_component.cc
index 4ac737b0d2..6c8868d661 100644
--- a/repos/base-hw/src/core/irq_session_component.cc
+++ b/repos/base-hw/src/core/irq_session_component.cc
@@ -57,7 +57,7 @@ Irq_session_component::~Irq_session_component()
 	using namespace Kernel;
 
 	User_irq * kirq = reinterpret_cast<User_irq*>(&_kernel_object);
-	_irq_alloc->free((void *)_irq_number);
+	_irq_alloc->free((void *)(addr_t)_irq_number);
 	if (_sig_cap.valid())
 		Kernel::delete_irq(kirq);
 }