536 static void check_ept_pointer_match(struct kvm *kvm)  in check_ept_pointer_match()
564 static inline int __hv_remote_flush_tlb_with_range(struct kvm *kvm,  in __hv_remote_flush_tlb_with_range()
581 static int hv_remote_flush_tlb_with_range(struct kvm *kvm,  in hv_remote_flush_tlb_with_range()
607 static int hv_remote_flush_tlb(struct kvm *kvm)  in hv_remote_flush_tlb()
3164 	struct kvm *kvm = vcpu->kvm;  in vmx_load_mmu_pgd()  local
3616 static int init_rmode_tss(struct kvm *kvm)  in init_rmode_tss()
3647 static int init_rmode_identity_map(struct kvm *kvm)  in init_rmode_identity_map()
3703 static int alloc_apic_access_page(struct kvm *kvm)  in alloc_apic_access_page()
4738 static int vmx_set_tss_addr(struct kvm *kvm, unsigned int addr)  in vmx_set_tss_addr()
4756 static int vmx_set_identity_map_addr(struct kvm *kvm, u64 ident_addr)  in vmx_set_identity_map_addr()
5871 static void kvm_flush_pml_buffers(struct kvm *kvm)  in kvm_flush_pml_buffers()
7107 static int vmx_vm_init(struct kvm *kvm)  in vmx_vm_init()
7601 static void vmx_slot_enable_log_dirty(struct kvm *kvm,  in vmx_slot_enable_log_dirty()
7609 static void vmx_slot_disable_log_dirty(struct kvm *kvm,  in vmx_slot_disable_log_dirty()
7615 static void vmx_flush_log_dirty(struct kvm *kvm)  in vmx_flush_log_dirty()
7620 static void vmx_enable_log_dirty_pt_masked(struct kvm *kvm,  in vmx_enable_log_dirty_pt_masked()