Hello Michael, function cacheflush() does not exist on many architectures. It would have saved me a lot of time if the man-page had referenced GCC's void __builtin___clear_cache(void *begin, void *end) Maybe you can add it to NOTES. Best regards heirnich
