#include <l4/cxx/ipc_stream>
#include <l4/sys/icu>
#include <l4/sys/task>
-#include <l4/re/error_helper>
#include <l4/re/env>
#include <l4/re/util/cap_alloc>
if (!irq_fp.cap_received())
return -L4_EINVAL;
- _cap = L4Re::chkcap(L4Re::Util::cap_alloc.alloc<L4::Irq>());
+ _cap = L4Re::Util::cap_alloc.alloc<L4::Irq>();
+ if (!_cap.is_valid())
+ return -L4_ENOMEM;
_cap.get().move(L4::cap_cast<L4::Irq>(cfb->rcv_cap()));
return 0;
}