/*
* $Id$
*/
#include <types.idl>
exception bad_mode {};
exception not_initialized {};
exception invalid_card {};
[uuid(IF_FRAMEBUFFER_ID)]
interface IF_FRAMEBUFFER {
// TODO how to ensure exclusive access to this resource?
void SetMode(in objectid_t card, in int width, in int height, in int bpp)
raises(bad_mode, invalid_card);
void MapFrameBuffer(in objectid_t card, out fpage f, out idlsize_t fbsize)
raises(not_initialized, invalid_card);
void Update(in objectid_t card)
raises(not_initialized, invalid_card);
void GetInfos(in objectid_t card, out int width, out int height, out int bpp,
out idlsize_t fboffset, out idlsize_t pitch,
out uint32_t redmask, out uint32_t greenmask, out uint32_t bluemask)
raises(not_initialized, invalid_card);
};
