view.h

Go to the documentation of this file.

 
/*
 * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>
 *     economic rights: Technische Universität Dresden (Germany)
 *
 * This file is part of TUD:OS and distributed under the terms of the
 * GNU General Public License 2.
 * Please see the COPYING-GPL-2 file for details.
 *
 * As a special exception, you may use this file as part of a free software
 * library without restriction.  Specifically, if other files instantiate
 * templates or use macros or inline functions from this file, or you compile
 * this file and link it with other files to produce an executable, this
 * file does not by itself cause the resulting executable to be covered by
 * the GNU General Public License.  This exception does not however
 * invalidate any other reasons why the executable file might be covered by
 * the GNU General Public License.
 */
#pragma once
 
#include <l4/sys/types.h>
#include <l4/re/c/dataspace.h>
#include <l4/re/c/video/colors.h>
 
enum l4re_video_view_info_flags_t
{
  F_l4re_video_view_none               = 0x00, 
  F_l4re_video_view_set_buffer         = 0x01, 
  F_l4re_video_view_set_buffer_offset  = 0x02, 
  F_l4re_video_view_set_bytes_per_line = 0x04, 
  F_l4re_video_view_set_pixel          = 0x08, 
  F_l4re_video_view_set_position       = 0x10, 
  F_l4re_video_view_dyn_allocated      = 0x20, 
  F_l4re_video_view_set_background     = 0x40, 
  F_l4re_video_view_set_flags          = 0x80, 
  F_l4re_video_view_fully_dynamic      =   F_l4re_video_view_set_buffer
                                         | F_l4re_video_view_set_buffer_offset
                                         | F_l4re_video_view_set_bytes_per_line
                                         | F_l4re_video_view_set_pixel
                                         | F_l4re_video_view_set_position
                                         | F_l4re_video_view_dyn_allocated,
 
  F_l4re_video_view_above      = 0x01000, 
  F_l4re_video_view_flags_mask = 0xff000, 
};
 
typedef struct l4re_video_view_info_t
{
  unsigned                flags;                     
  unsigned                view_index;                
  unsigned long           xpos, ypos, width, height; 
  unsigned long           buffer_offset;             
  unsigned long           bytes_per_line;            
  l4re_video_pixel_info_t pixel_info;                
  unsigned                buffer_index;              
} l4re_video_view_info_t;
 
 
typedef struct l4re_video_view_t
{
  l4_cap_idx_t goos;
  unsigned idx;
} l4re_video_view_t;
 
 
EXTERN_C_BEGIN
 
L4_CV int
l4re_video_view_refresh(l4re_video_view_t *view, int x, int y, int w,
                        int h) L4_NOTHROW;
 
L4_CV int
l4re_video_view_get_info(l4re_video_view_t *view,
                         l4re_video_view_info_t *info) L4_NOTHROW;
 
L4_CV int
l4re_video_view_set_info(l4re_video_view_t *view,
                         l4re_video_view_info_t *info) L4_NOTHROW;
 
L4_CV int
l4re_video_view_set_viewport(l4re_video_view_t *view, int x, int y, int w,
                             int h, unsigned long bofs) L4_NOTHROW;
 
L4_CV int
l4re_video_view_stack(l4re_video_view_t *view, l4re_video_view_t *pivot,
                      int behind) L4_NOTHROW;
 
EXTERN_C_END