unsigned long width
Width of the goos.
C representation of a goos view.
int l4re_video_goos_delete_view(l4re_video_goos_t goos, l4re_video_view_t *view) L4_NOTHROW
Delete a view.
The graphics display is automatically refreshed.
Supports dynamically allocated buffers.
Common L4 ABI Data Types.
l4re_video_goos_info_flags_t
Flags of information on the goos.
#define EXTERN_C_END
End section with C types and functions.
int l4re_video_goos_delete_buffer(l4re_video_goos_t goos, unsigned idx) L4_NOTHROW
Delete a pixel buffer.
Supports dynamically allocated views.
unsigned long l4_cap_idx_t
L4 Capability selector Type.
unsigned long height
Height of the goos.
l4_cap_idx_t l4re_video_goos_t
Goos object type.
int l4re_video_goos_get_static_buffer(l4re_video_goos_t goos, unsigned idx, l4_cap_idx_t buffer) L4_NOTHROW
Get the data-space capability of the static pixel buffer.
l4re_video_pixel_info_t pixel_info
Pixel layout of the goos.
int l4re_video_goos_info(l4re_video_goos_t goos, l4re_video_goos_info_t *ginfo) L4_NOTHROW
Get information on a goos.
#define EXTERN_C_BEGIN
Start section with C types and functions.
#define L4_CV
Define calling convention.
unsigned flags
Flags of the framebuffer, see l4re_video_goos_info_flags_t.
int l4re_video_goos_refresh(l4re_video_goos_t goos, int x, int y, int w, int h) L4_NOTHROW
Flush a rectangle of pixels of the goos screen.
Goos information structure.
int l4re_video_goos_create_buffer(l4re_video_goos_t goos, unsigned long size, l4_cap_idx_t buffer) L4_NOTHROW
Create a new buffer (memory buffer) for pixel data.
int l4re_video_goos_create_view(l4re_video_goos_t goos, l4re_video_view_t *view) L4_NOTHROW
Create a new view (.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.
int l4re_video_goos_get_view(l4re_video_goos_t goos, unsigned idx, l4re_video_view_t *view) L4_NOTHROW
Get a view for the given index.
unsigned num_static_buffers
Number of static buffers.
unsigned num_static_views
Number of static views.