+++ /dev/null
-void flushcache(void *beginning_addr, void *end_addr, unsigned int flags);\r
-void block_or(void *src, size_t n, int pat);\r
-void block_and(void *src, size_t n, int pat);\r
-void block_andor(void *src, size_t n, int andpat, int orpat);\r
-void memset32(int *dest, int c, int count);\r
-void spend_cycles(int c); // utility\r
-void soft_scale(void *dst, unsigned short *pal, int line_offs, int lines);\r
-void convert2RGB555(unsigned short *dst, unsigned char *src, unsigned short *pal, int count);\r
-\r