diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2018-10-23 02:18:42 +0200 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2018-12-14 12:34:18 +0100 |
| commit | 8fe65a8299f9e1f40cb95308ab7b3c4ad80bf801 (patch) | |
| tree | 3e5855832db9e1ac4bb5e60df9d26efb01d05d71 /.gitignore | |
| parent | e5d83c74a5800c2a1fa3ba982c1c4b2b39ae6db2 (diff) | |
kvm: rename last argument to kvm_get_dirty_log_protect
When manual dirty log reprotect will be enabled, kvm_get_dirty_log_protect's
pointer argument will always be false on exit, because no TLB flush is needed
until the manual re-protection operation. Rename it from "is_dirty" to "flush",
which more accurately tells the caller what they have to do with it.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions