diff options
| author | Paolo Bonzini <[email protected]> | 2015-05-26 12:43:41 +0200 |
|---|---|---|
| committer | Paolo Bonzini <[email protected]> | 2015-05-28 10:43:37 +0200 |
| commit | bc009e43307916f87f0cbd4bc5ec0e8f6b064c9a (patch) | |
| tree | c7097fed641e2b570c1d0991fa2d0ec298a8c3b7 /scripts/gdb/linux/modules.py | |
| parent | e453aa0f7e7b10135d7a84742722f5fc799a3df9 (diff) | |
KVM: remove unused argument from mark_page_dirty_in_slot
Signed-off-by: Paolo Bonzini <[email protected]>
Diffstat (limited to 'scripts/gdb/linux/modules.py')
0 files changed, 0 insertions, 0 deletions