25 Framebuffer(uint32_t width, uint32_t height, uint16_t depth, uint32_t pitch,
void* addr);
27 uint16_t depth, uint32_t pitch,
29 uint8_t redMaskSize, uint8_t redMaskShift,
30 uint8_t greenMaskSize, uint8_t greenMaskShift,
31 uint8_t blueMaskSize, uint8_t blueMaskShift);