-void flushcache(unsigned int beginning_addr, unsigned int end_addr, unsigned int flags);\r
+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