Flexpage: shared Mem
adam at os.inf.tu-dresden.de
Mon May 23 00:30:35 CEST 2016
On Fri May 13, 2016 at 19:57:20 +0200, ba_f wrote:
> still the same ERR=9.
> > I think this should look like this:
> > l4_utcb_br()->br = 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 = 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 adam at os.inf.tu-dresden.de
More information about the l4-hackers