937bf65b |
1 | void flushcache(unsigned int beginning_addr, unsigned int end_addr, unsigned int flags);\r |
6587f346 |
2 | void block_or(void *src, size_t n, int pat);\r |
3 | void block_andor(void *src, size_t n, int andpat, int orpat);\r |
b2b95d2e |
4 | void spend_cycles(int c); // utility\r |
937bf65b |
5 | \r |