# Pastebin CljSc2ow
void flush_cache(unsigned long addr, unsigned long size)
{
        void *ptr;

        ptr = map_sysmem(map_to_sysmem(addr), size);

        /* Clang uses (char *) parameters, GCC (void *) */
        __builtin___clear_cache(ptr, ptr + size);
        unmap_sysmem(ptr);
}