On Fri May 13, 2016 at 19:57:20 +0200, ba_f wrote:
Nope, still the same ERR=9.
I think this should look like this: l4_utcb_br()->br[0] = dataspace.cap() | L4_RCV_ITEM_SINGLE_CAP; l4_utcb_br()->bdr = 0;
I think the cap() function is C++ only so left this out. Guess this ok since 'typedef l4_cap_idx_t l4re_ds_t;'
/* server.c */
l4re_ds_t dataspace = l4re_util_cap_alloc(); if (l4_is_invalid_cap( dataspace)) return 1;
l4_utcb_br()->br[0] = dataspace | L4_RCV_ITEM_SINGLE_CAP; l4_utcb_br()->bdr = 0;
Any progress? Hard to tell from just the snippets and without building a test case. Did you find any difference to existing code?
Adam