What is the standard way to manipulate the data-cache on linux from a user-mode program?
I'd like to writeback and invalidate the data-cache of a memory region that that is shared between my user-mode program and a peripheral device.
Linux has no driver for it, and writing one myself would be overkill for the simple things I want to do...