bundletype SVGAlib_T =

{ include "${OSKITDIR}/oskit/svgalib/vga.h" vga_accel vga_bitblt vga_blitwait vga_claimvideomemory vga_clear vga_copytoplanar16 vga_copytoplanar256 vga_copytoplane vga_disabledriverreport vga_drawline vga_drawpixel vga_drawscanline vga_drawscansegment vga_dumpregs vga_ext_set vga_fillblt vga_getcolors vga_getcurrentchipset vga_getcurrentmode vga_getdefaultmode vga_getgraphmem vga_getmodeinfo vga_getmodename vga_getmodenumber vga_getmonitortype vga_getpalette vga_getpalvec vga_getpixel vga_getscansegment vga_gettextfont vga_gettextmoderegs vga_getxdim vga_getydim vga_hasmode vga_hlinelistblt vga_imageblt vga_lastmodenumber vga_lockvc vga_oktowrite vga_puttextfont vga_screenoff vga_screenon vga_setchipset vga_setchipsetandfeatures vga_setcolor vga_setdisplaystart vga_setegacolor vga_setlinearaddressing vga_setlogicalwidth vga_setmode vga_setmodeX vga_setpage vga_setpalette vga_setpalvec vga_setreadpage vga_setrgbcolor vga_settextmoderegs vga_setwritepage vga_unlockvc vga_waitretrace vga_white }

C types:

extern int vga_setmode(int mode);
extern int vga_hasmode(int mode);
extern int vga_clear(void);
extern int vga_getxdim(void);
extern int vga_getydim(void);
extern int vga_getcolors(void);
extern int vga_setpalette(int index,int red,int green,int blue);
extern int vga_getpalette(int index,int *red,int *green,int *blue);
extern int vga_setpalvec(int start,int num,int *pal);
extern int vga_getpalvec(int start,int num,int *pal);
extern int vga_screenoff(void);
extern int vga_screenon(void);
extern int vga_setcolor(int color);
extern int vga_drawpixel(int x,int y);
extern int vga_drawline(int x1,int y1,int x2,int y2);
extern int vga_drawscanline(int line,unsigned char *colors);
extern int vga_drawscansegment(unsigned char *colors,int x,int y,int length);
extern int vga_getpixel(int x,int y);
extern int vga_getscansegment(unsigned char *colors,int x,int y,int length);
extern int vga_dumpregs(void);
extern vga_modeinfo *vga_getmodeinfo(int mode);
extern int vga_getdefaultmode(void);
extern int vga_getcurrentmode(void);
extern int vga_getcurrentchipset(void);
extern char *vga_getmodename(int mode);
extern int vga_getmodenumber(char *name);
extern int vga_lastmodenumber(void);
extern unsigned char *vga_getgraphmem(void);
extern void vga_setpage(int p);
extern void vga_setreadpage(int p);
extern void vga_setwritepage(int p);
extern void vga_setlogicalwidth(int w);
extern void vga_setdisplaystart(int a);
extern void vga_waitretrace(void);
extern int vga_claimvideomemory(int n);
extern void vga_disabledriverreport(void);
extern int vga_setmodeX(void);
extern int vga_getmonitortype(void);
extern void vga_lockvc(void);
extern void vga_unlockvc(void);
extern int vga_oktowrite(void);
extern void vga_copytoplanar256(unsigned char *virtualp,int pitch,int voffset,int vpitch,int w,int h);
extern void vga_copytoplanar16(unsigned char *virtualp,int pitch,int voffset,int vpitch,int w,int h);
extern void vga_copytoplane(unsigned char *virtualp,int pitch,int voffset,int vpitch,int w,int h,int plane);
extern int vga_setlinearaddressing(void);
extern void vga_setchipset(int c);
extern void vga_setchipsetandfeatures(int c,int par1,int par2);
extern void vga_gettextfont(void *font);
extern void vga_puttextfont(void *font);
extern void vga_settextmoderegs(void *regs);
extern void vga_gettextmoderegs(void *regs);
extern int vga_white(void);
extern int vga_setegacolor(int c);
extern int vga_setrgbcolor(int r,int g,int b);
extern void vga_bitblt(int srcaddr,int destaddr,int w,int h,int pitch);
extern void vga_imageblt(void *srcaddr,int destaddr,int w,int h,int pitch);
extern void vga_fillblt(int destaddr,int w,int h,int pitch,int c);
extern void vga_hlinelistblt(int ymin,int n,int *xmin,int *xmax,int pitch,int c);
extern void vga_blitwait(void);
extern int vga_ext_set(unsigned what,...);
extern int vga_accel(unsigned operation,...);