to_kvm_vmx
struct kvm_vmx *kvm_vmx = to_kvm_vmx(vcpu->kvm);
guest_cr3 = to_kvm_vmx(kvm)->ept_identity_map_addr;
struct kvm_vmx *kvm_vmx = to_kvm_vmx(kvm);
return get_order(kvm->arch.max_vcpu_ids * sizeof(*to_kvm_vmx(kvm)->pid_table));
struct kvm_vmx *kvm_vmx = to_kvm_vmx(kvm);
struct kvm_vmx *kvm_vmx = to_kvm_vmx(kvm);
to_kvm_vmx(kvm)->tss_addr = addr;
to_kvm_vmx(kvm)->ept_identity_map_addr = ident_addr;
WRITE_ONCE(to_kvm_vmx(vcpu->kvm)->pid_table[vcpu->vcpu_id],
struct kvm_vmx *kvm_vmx = to_kvm_vmx(kvm);