The text a4bbeecce49b, as Debian 1.3 (Bo) shipped it.
flush contents of instruction and/or data cache
cacheflush(2) on Linux now
