Landfall

pkg/devices/idl/framebuffer.idl

152:c9a29e1ba843
17 months ago Paul Boddie Introduced a variety of changes and updates for testing. idl4re-libipc-libsystypes
     1 #include <l4/devices/protocols.h>     2 #include <l4/re/c/video/view.h>     3      4 [protocol(LANDFALL_FRAMEBUFFER)]     5 interface Framebuffer     6 {     7   /* Return a framebuffer capability. */     8      9   void get_framebuffer(out cap mem);    10     11   /* Return the framebuffer size. */    12     13   void get_framebuffer_size(out l4_size_t size);    14     15   /* Return view information. */    16     17   void get_view_info(out l4re_video_view_info_t view_info);    18 };