Landfall

Annotated pkg/devices/idl/framebuffer.idl

251:e0e3ba7f192c
152:c9a29e1ba843
9 months ago Paul Boddie file changeset files shortlog Use unsigned long integer literals. cpm-library-improvements
paul@152 1 
#include <l4/devices/protocols.h>
paul@152 2 
#include <l4/re/c/video/view.h>
paul@152 3 
 
 paul@152      4 
[protocol(LANDFALL_FRAMEBUFFER)]
 
 paul@152      5 
interface Framebuffer
 
 paul@152      6 
{
 
 paul@152      7 
  /* Return a framebuffer capability. */
 
 paul@152      8 
 
 paul@152      9 
  void get_framebuffer(out cap mem);
 
 paul@152     10 
 
 paul@152     11 
  /* Return the framebuffer size. */
 
 paul@152     12 
 
 paul@152     13 
  void get_framebuffer_size(out l4_size_t size);
 
 paul@152     14 
 
 paul@152     15 
  /* Return view information. */
 
 paul@152     16 
 
 paul@152     17 
  void get_view_info(out l4re_video_view_info_t view_info);
 
 paul@152     18 
};