#include <stdint.h>

void compositor_wake();
void compositor_wake2();
void compositor_init(uint16_t width, uint16_t height,uint16_t bpp, uint16_t pitch);
void compositor_set_background(char *ppm_raw_filename);
void compositor_swap_buffers();
void compositor_mouse_handle(int16_t x,int16_t y, uint8_t key);
void compositor_kb_handle(char c);
void compositor_add_window(uint32_t addr,uint32_t pid);
void compositor_del_window(uint32_t addr);