aedrix-kernel/include/devices/pl111.h

#include <framebuffer.h>

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