diff options
author | Wei Yang <richard.weiyang@gmail.com> | 2018-10-03 22:04:22 -0400 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2018-10-16 18:30:11 -0400 |
commit | 8daf346226b22e565baf27ccaec58fed9e108b42 (patch) | |
tree | b7473dcd187a484ef25ee0fe9f94c5fdbadeed7d /scripts/gdb/linux/tasks.py | |
parent | 0804c849f1df0992d39a37c4fc259f7f8b16f385 (diff) |
KVM: x86: rename pte_list_remove to __pte_list_remove
This is a patch preparing for further change.
Signed-off-by: Wei Yang <richard.weiyang@gmail.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'scripts/gdb/linux/tasks.py')
0 files changed, 0 insertions, 0 deletions