1
2
3
4
5
6
7#ifndef __BUS_VCXK_H_
8#define __BUS_VCXK_H_
9
10extern int vcxk_init(unsigned long width, unsigned long height);
11extern void vcxk_setpixel(int x, int y, unsigned long color);
12extern int vcxk_acknowledge_wait(void);
13extern int vcxk_request(void);
14extern void vcxk_loadimage(ulong source);
15extern int vcxk_display_bitmap(ulong addr, int x, int y);
16extern void vcxk_setbrightness(unsigned int side, short brightness);
17extern int video_display_bitmap(ulong addr, int x, int y);
18
19#endif
20