diff options
author | Avi Kivity <avi@qumranet.com> | 2008-07-10 09:53:33 -0400 |
---|---|---|
committer | Avi Kivity <avi@qumranet.com> | 2008-07-20 05:42:39 -0400 |
commit | d6e88aec07aa8f6c7e4024f5734ec659fd7c5a40 (patch) | |
tree | 2f20376a678d720d2be4e5feab3f4049e0477a73 /arch/x86/kvm/svm.c | |
parent | c65bbfa1d693d375da51f9c8aa9fb26f09fa19ed (diff) |
KVM: Prefix some x86 low level function with kvm_, to avoid namespace issues
Fixes compilation with CONFIG_VMI enabled.
Signed-off-by: Avi Kivity <avi@qumranet.com>
Diffstat (limited to 'arch/x86/kvm/svm.c')
-rw-r--r-- | arch/x86/kvm/svm.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/arch/x86/kvm/svm.c b/arch/x86/kvm/svm.c index 858e29702232..b756e876dce3 100644 --- a/arch/x86/kvm/svm.c +++ b/arch/x86/kvm/svm.c | |||
@@ -1710,9 +1710,9 @@ static void svm_vcpu_run(struct kvm_vcpu *vcpu, struct kvm_run *kvm_run) | |||
1710 | sync_lapic_to_cr8(vcpu); | 1710 | sync_lapic_to_cr8(vcpu); |
1711 | 1711 | ||
1712 | save_host_msrs(vcpu); | 1712 | save_host_msrs(vcpu); |
1713 | fs_selector = read_fs(); | 1713 | fs_selector = kvm_read_fs(); |
1714 | gs_selector = read_gs(); | 1714 | gs_selector = kvm_read_gs(); |
1715 | ldt_selector = read_ldt(); | 1715 | ldt_selector = kvm_read_ldt(); |
1716 | svm->host_cr2 = kvm_read_cr2(); | 1716 | svm->host_cr2 = kvm_read_cr2(); |
1717 | svm->host_dr6 = read_dr6(); | 1717 | svm->host_dr6 = read_dr6(); |
1718 | svm->host_dr7 = read_dr7(); | 1718 | svm->host_dr7 = read_dr7(); |
@@ -1845,9 +1845,9 @@ static void svm_vcpu_run(struct kvm_vcpu *vcpu, struct kvm_run *kvm_run) | |||
1845 | write_dr7(svm->host_dr7); | 1845 | write_dr7(svm->host_dr7); |
1846 | kvm_write_cr2(svm->host_cr2); | 1846 | kvm_write_cr2(svm->host_cr2); |
1847 | 1847 | ||
1848 | load_fs(fs_selector); | 1848 | kvm_load_fs(fs_selector); |
1849 | load_gs(gs_selector); | 1849 | kvm_load_gs(gs_selector); |
1850 | load_ldt(ldt_selector); | 1850 | kvm_load_ldt(ldt_selector); |
1851 | load_host_msrs(vcpu); | 1851 | load_host_msrs(vcpu); |
1852 | 1852 | ||
1853 | reload_tss(vcpu); | 1853 | reload_tss(vcpu); |