3388 	struct kvm *kvm = vcpu->kvm;  in vmx_load_mmu_pgd()  local
3841 static int init_rmode_tss(struct kvm *kvm, void __user *ua)  in init_rmode_tss()
3863 static int init_rmode_identity_map(struct kvm *kvm)  in init_rmode_identity_map()
4677 static inline int vmx_get_pid_table_order(struct kvm *kvm)  in vmx_get_pid_table_order()
4682 static int vmx_alloc_ipiv_pid_table(struct kvm *kvm)  in vmx_alloc_ipiv_pid_table()
4702 static int vmx_vcpu_precreate(struct kvm *kvm)  in vmx_vcpu_precreate()
4711 	struct kvm *kvm = vmx->vcpu.kvm;  in init_vmcs()  local
5075 static int vmx_set_tss_addr(struct kvm *kvm, unsigned int addr)  in vmx_set_tss_addr()
5095 static int vmx_set_identity_map_addr(struct kvm *kvm, u64 ident_addr)  in vmx_set_identity_map_addr()
6751 	struct kvm *kvm = vcpu->kvm;  in vmx_set_apic_access_page_addr()  local
7002 static bool vmx_has_emulated_msr(struct kvm *kvm, u32 index)  in vmx_has_emulated_msr()
7559 static int vmx_vm_init(struct kvm *kvm)  in vmx_vm_init()
8216 static void vmx_vm_destroy(struct kvm *kvm)  in vmx_vm_destroy()