Merge pull request #1057 from janvorli/flush-process-write-buffers-page
authorJan Vorlicek <janvorli@microsoft.com>
Wed, 27 May 2015 20:39:55 +0000 (22:39 +0200)
committerJan Vorlicek <janvorli@microsoft.com>
Wed, 27 May 2015 20:39:55 +0000 (22:39 +0200)
commit00b1f12e47390f6c013f6d0320e636fcf07dd754
treea558c6f772c78e11f10dcd5dda4b97435cbeba72
parentfd25910833452ce8afbc8f09d3147278d96273c8
parente79b9ed5cde41c65e37ff4cc8b8a084f1511f9eb
Merge pull request #1057 from janvorli/flush-process-write-buffers-page

Implement FlushProcessWriteBuffers using the page protection mechanism