u-boot/include/fsl_dcu_fb.h

/*
 * Copyright 2014 Freescale Semiconductor, Inc.
 *
 * FSL DCU Framebuffer driver
 *
 * SPDX-License-Identifier:	GPL-2.0+
 */
#include <linux/fb.h>

int fsl_dcu_init(unsigned int xres, unsigned int yres,
		 unsigned int pixel_format);
int fsl_dcu_fixedfb_setup(void *blob);

/* Prototypes for external board-specific functions */
int platform_dcu_init(unsigned int xres, unsigned int yres,
		      const char *port, struct fb_videomode *dcu_fb_videomode);
unsigned int dcu_set_pixel_clock(unsigned int pixclock);