aedrix-kernel/include/devices/pl110.h

#include <framebuffer.h>

int pl110_init(struct fb *f, unsigned int color_depth);