Hi, I allocate memory in my driver and I passed this address to my HW register to write to. My question is when the HW done writing (my driver get notified by an interrupt). How can I flush the cache so that my driver can see what has been written by the HW? Thank you.