diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-06-25 09:29:17 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-07-23 06:05:40 -0400 |
| commit | a6d64b9717782170ba27c16b6df8191169d92fad (patch) | |
| tree | 5721ea5dd94e02e81e01a50a343b38fcb193f5d1 /litmus/litmus.c | |
| parent | c85e6eae1698cecb15d63e112e937f706280c78e (diff) | |
control page: avoid "minor" page faults
By default, even private writable pages are mapped
with the RW bit disabled in the PTE. This causes a
"minor" page fault when the page is first written
to. To avoid this, make sure that vm_inert_page()
uses the proper page protection bits and mark the
VMA as VM_IO to keep the rest of the VM code out.
Diffstat (limited to 'litmus/litmus.c')
0 files changed, 0 insertions, 0 deletions