diff options
| author | Wei Yang <richard.weiyang@gmail.com> | 2018-10-04 10:04:22 +0800 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2018-10-17 00:30:11 +0200 |
| commit | 8daf346226b22e565baf27ccaec58fed9e108b42 (patch) | |
| tree | b7473dcd187a484ef25ee0fe9f94c5fdbadeed7d /virt | |
| 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 'virt')
0 files changed, 0 insertions, 0 deletions