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