4 #include <barrelfish/barrelfish.h>
6 void play_with_fdif(void);
11 uint32_t bytes_per_pixel; /* 2:RGB16, 3:RGB, 4:RGBA */
12 uint8_t pixel_data[320 * 240];
15 errval_t map_device_register(lpaddr_t address, size_t size, lvaddr_t** return_address) ;
16 errval_t init_memory_manager(void);
18 #define FDIF_DEBUG(x...) printf("fdif: " x)