arch/x86/kvm/vmx/vmx.c

3265

struct kvm_vmx *kvm_vmx = to_kvm_vmx(vcpu->kvm);

arch/x86/kvm/vmx/vmx.c

3612

guest_cr3 = to_kvm_vmx(kvm)->ept_identity_map_addr;

arch/x86/kvm/vmx/vmx.c

4089

struct kvm_vmx *kvm_vmx = to_kvm_vmx(kvm);

arch/x86/kvm/vmx/vmx.c

4905

return get_order(kvm->arch.max_vcpu_ids * sizeof(*to_kvm_vmx(kvm)->pid_table));

arch/x86/kvm/vmx/vmx.c

4911

struct kvm_vmx *kvm_vmx = to_kvm_vmx(kvm);

arch/x86/kvm/vmx/vmx.c

4938

struct kvm_vmx *kvm_vmx = to_kvm_vmx(kvm);

arch/x86/kvm/vmx/vmx.c

5337

to_kvm_vmx(kvm)->tss_addr = addr;

arch/x86/kvm/vmx/vmx.c

5344

to_kvm_vmx(kvm)->ept_identity_map_addr = ident_addr;

arch/x86/kvm/vmx/vmx.c

7856

WRITE_ONCE(to_kvm_vmx(vcpu->kvm)->pid_table[vcpu->vcpu_id],

arch/x86/kvm/vmx/vmx.c

8578

struct kvm_vmx *kvm_vmx = to_kvm_vmx(kvm);