SwapPostWriteBuffers/ memory mapped files

I am trying to coerce the DDK SwapBuffer sample into being a simple
encryption driver; I have scoured the archives/ faq and realise that
this has been covered a lot – but was hoping for some clarification of
a very simple point.

I check the flags and swap the buffers in my SwapPreWriteBuffers. Almost
exactly as in the sample.

In my SwapPostWriteBuffers I examine the cache (using the approach
outlined here http://www.osronline.com/article.cfm?article=280 ). I can
see that the buffer at ActiveVacb->BaseAddress is encrypted. It
shouldnt be.

My question is; is this behaviour what you would expect?

In the case of a memory mapped file; how do I go about ensuring that the
system cache is correct? Do I need to reconstruct it? yikes! Any hints
greatly appreciated,

Thanks

Jolyon