void sys_cacheflush(const void *start_addr, const void *end_addr);