140 static int FNAME(cmpxchg_gpte)(struct kvm_vcpu *vcpu, struct kvm_mmu *mmu,  in FNAME()
163 static bool FNAME(prefetch_invalid_gpte)(struct kvm_vcpu *vcpu,  in FNAME()
184 static inline unsigned FNAME(gpte_access)(struct kvm_vcpu *vcpu, u64 gpte)  in FNAME()
199 static int FNAME(update_accessed_dirty_bits)(struct kvm_vcpu *vcpu,  in FNAME()
261 				    struct kvm_vcpu *vcpu, struct kvm_mmu *mmu,  in FNAME()
437 			    struct kvm_vcpu *vcpu, gva_t addr, u32 access)  in FNAME()
445 				   struct kvm_vcpu *vcpu, gva_t addr,  in FNAME()
454 FNAME(prefetch_gpte)(struct kvm_vcpu *vcpu, struct kvm_mmu_page *sp,  in FNAME()
484 static void FNAME(update_pte)(struct kvm_vcpu *vcpu, struct kvm_mmu_page *sp,  in FNAME()
492 static bool FNAME(gpte_changed)(struct kvm_vcpu *vcpu,  in FNAME()
515 static void FNAME(pte_prefetch)(struct kvm_vcpu *vcpu, struct guest_walker *gw,  in FNAME()
551 static int FNAME(fetch)(struct kvm_vcpu *vcpu, gva_t addr,  in FNAME()
656 FNAME(is_self_change_mapping)(struct kvm_vcpu *vcpu,  in FNAME()
692 static int FNAME(page_fault)(struct kvm_vcpu *vcpu, gva_t addr, u32 error_code,  in FNAME()
819 static void FNAME(invlpg)(struct kvm_vcpu *vcpu, gva_t gva)  in FNAME()
874 static gpa_t FNAME(gva_to_gpa)(struct kvm_vcpu *vcpu, gva_t vaddr, u32 access,  in FNAME()
893 static gpa_t FNAME(gva_to_gpa_nested)(struct kvm_vcpu *vcpu, gva_t vaddr,  in FNAME()
926 static int FNAME(sync_page)(struct kvm_vcpu *vcpu, struct kvm_mmu_page *sp)  in FNAME()