diff options
| author | Avi Kivity <avi@qumranet.com> | 2007-11-20 19:06:21 -0500 |
|---|---|---|
| committer | Avi Kivity <avi@qumranet.com> | 2008-01-30 10:53:10 -0500 |
| commit | 79539cec0c3c38d35a1e3e5310d2c562ae6e82b8 (patch) | |
| tree | 7bcb93c2a3a26a1541a77f108915e43479dc3ebd /include/linux/mempolicy.h | |
| parent | 0f74a24c59b814c1c8085251cbea48d339f0c7c6 (diff) | |
KVM: MMU: Avoid unnecessary remote tlb flushes when guest updates a pte
If all we're doing is increasing permissions on a pte (typical for demand
paging), then there's not need to flush remote tlbs. Worst case they'll
get a spurious page fault.
Signed-off-by: Avi Kivity <avi@qumranet.com>
Diffstat (limited to 'include/linux/mempolicy.h')
0 files changed, 0 insertions, 0 deletions