Lines Matching refs:L4Re
28 namespace L4Re { namespace Util { namespace Video { namespace
33 using namespace L4Re::Video; in init()
34 using L4Re::chksys; in init()
35 using L4Re::chkcap; in init()
51 _buffer = chkcap(cap_alloc.alloc<L4Re::Dataspace>(), in init()
82 Goos_fb::setup(L4::Cap<L4Re::Video::Goos> goos) in setup()
93 _goos = chkcap(ns.query<L4Re::Video::Goos>(name), "requesting goos cap", 0); in setup()
100 Goos_fb::Goos_fb(L4::Cap<L4Re::Video::Goos> goos) in Goos_fb()
113 L4Re::chkcap(_goos); in attach_buffer()
114 L4Re::chksys(L4Re::Env::env()->rm() in attach_buffer()
116 L4Re::Rm::F::Search_addr | L4Re::Rm::F::RW, _buffer, in attach_buffer()