Hi Heinrich & Michael,
What about the following?:
[
NOTES
GCC provides a similar function, which may be useful on archi‐
tectures that lack this system call:
void __builtin___clear_cache(void *begin, void *end);
]
Cheers,
Alex
On 12/9/20 7:04 PM, Heinrich Schuchardt wrote:
> 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
--
Alejandro Colomar
Linux man-pages comaintainer; http://www.kernel.org/doc/man-pages/
http://www.alejandro-colomar.es
