2 * (C) Copyright 2005-2009
3 * Jens Scharsig @ BuS Elektronik GmbH & Co. KG, <esw@bus-elektronik.de>
5 * SPDX-License-Identifier: GPL-2.0+
11 extern int vcxk_init(unsigned long width, unsigned long height);
12 extern void vcxk_setpixel(int x, int y, unsigned long color);
13 extern int vcxk_acknowledge_wait(void);
14 extern int vcxk_request(void);
15 extern void vcxk_loadimage(ulong source);
16 extern int vcxk_display_bitmap(ulong addr, int x, int y);
17 extern void vcxk_setbrightness(unsigned int side, short brightness);
18 extern int video_display_bitmap(ulong addr, int x, int y);