I have an output buffer in my kernel driver. And that share with my hardware, which uses it for output. When I got an interrupt, the kernel driver will copy the data from the output buffer to user space buffer. How can I invalidate cache after my kernel driver copy the output buffer?