2 * (c) 2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
3 * Alexander Warg <warg@os.inf.tu-dresden.de>
4 * economic rights: Technische Universität Dresden (Germany)
6 * This file is part of TUD:OS and distributed under the terms of the
7 * GNU General Public License 2.
8 * Please see the COPYING-GPL-2 file for details.
12 #include <l4/re/util/video/goos_svr>
13 #include <l4/re/util/object_registry>
14 #include <l4/re/util/dataspace_svr>
15 #include <l4/cxx/ipc_server>
20 Prog_args(int argc, char *argv[]);
29 public L4Re::Util::Video::Goos_svr,
30 public L4Re::Util::Dataspace_svr,
31 public L4::Epiface_t<Phys_fb, L4::Kobject_2t<void, L4Re::Dataspace, L4Re::Video::Goos> >
34 using L4Re::Util::Video::Goos_svr::op_info;
35 using L4Re::Util::Dataspace_svr::op_info;
37 Phys_fb() : _vidmem_start(0), _map_done(0) {}
40 virtual bool setup_drv(Prog_args *pa, L4Re::Util::Object_registry *r) = 0;
41 void setup_ds(char const *name);
43 int map_hook(l4_addr_t offs, unsigned long flags,
44 l4_addr_t min, l4_addr_t max);
46 bool running() { return _vidmem_start; };
48 static Phys_fb *probe();
49 static Phys_fb *get_dummy();
52 l4_addr_t _vidmem_start;
53 l4_addr_t _vidmem_end;
54 l4_addr_t _vidmem_size;