i Alex, On 12/10/20 9:56 PM, Alejandro Colomar (man-pages) wrote: > Hi all, > > v2: > > [ > NOTES > Unless you need the finer grained control that this system > call provides, you probably want to use the GCC built-in > function __builtin___clear_cache(), which provides a more > portable interface: > > void __builtin___clear_cache(void *begin, void *end); > ] This seems a reasonable text to me, but I think it would be helpful to say a little more precisely what kind of portability we are talking about here. Greater ortability across Linux architectures? Greater portability across platforms supported by GCC (including non-Linux) platforms? Something else? Thanks, Michael -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Linux/UNIX System Programming Training: http://man7.org/training/