mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 23:42:32 +00:00
Return value of correct type, reported by gcc-4.7
This commit is contained in:
parent
19a996bcb9
commit
d28b34b1fe
@ -209,7 +209,7 @@ class Genode::Irq_proxy : public THREAD,
|
||||
|
||||
/* try to create proxy */
|
||||
if (!irq_alloc || irq_alloc->alloc_addr(1, irq_number) != Range_allocator::ALLOC_OK)
|
||||
return false;
|
||||
return 0;
|
||||
|
||||
PROXY *new_proxy = new (env()->heap()) PROXY(irq_number);
|
||||
proxies.insert(new_proxy);
|
||||
|
Loading…
Reference in New Issue
Block a user