diff options
| author | Gui Jianfeng <[email protected]> | 2010-05-05 09:09:21 +0800 |
|---|---|---|
| committer | Avi Kivity <[email protected]> | 2010-08-01 10:35:38 +0300 |
| commit | f3b8c964a9a6cfef6d3ca778648d53947b9fd257 (patch) | |
| tree | e8a6b81ab63b34535ec8c384c61acc5778144fd7 /scripts/patch-kernel | |
| parent | eec4b140c924b4c650e9a89e01d223266490e325 (diff) | |
KVM: MMU: mark page table dirty when a pte is actually modified
Sometime cmpxchg_gpte doesn't modify gpte, in such case, don't mark
page table page as dirty.
Signed-off-by: Gui Jianfeng <[email protected]>
Signed-off-by: Avi Kivity <[email protected]>
Diffstat (limited to 'scripts/patch-kernel')
0 files changed, 0 insertions, 0 deletions