/* * $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); };