579 static int sev_es_sync_vmsa(struct vcpu_svm *svm)  in sev_es_sync_vmsa()
638 	struct vcpu_svm *svm = to_svm(vcpu);  in __sev_launch_update_vmsa()  local
2386 	struct vcpu_svm *svm;  in sev_free_vcpu()  local
2402 static void dump_ghcb(struct vcpu_svm *svm)  in dump_ghcb()
2427 static void sev_es_sync_to_ghcb(struct vcpu_svm *svm)  in sev_es_sync_to_ghcb()
2446 static void sev_es_sync_from_ghcb(struct vcpu_svm *svm)  in sev_es_sync_from_ghcb()
2500 static int sev_es_validate_vmgexit(struct vcpu_svm *svm)  in sev_es_validate_vmgexit()
2625 void sev_es_unmap_ghcb(struct vcpu_svm *svm)  in sev_es_unmap_ghcb()
2657 void pre_sev_run(struct vcpu_svm *svm, int cpu)  in pre_sev_run()
2681 static int setup_vmgexit_scratch(struct vcpu_svm *svm, bool sync, u64 len)  in setup_vmgexit_scratch()
2765 static void set_ghcb_msr_bits(struct vcpu_svm *svm, u64 value, u64 mask,  in set_ghcb_msr_bits()
2772 static u64 get_ghcb_msr_bits(struct vcpu_svm *svm, u64 mask, unsigned int pos)  in get_ghcb_msr_bits()
2777 static void set_ghcb_msr(struct vcpu_svm *svm, u64 value)  in set_ghcb_msr()
2782 static int sev_handle_vmgexit_msr_protocol(struct vcpu_svm *svm)  in sev_handle_vmgexit_msr_protocol()
2870 	struct vcpu_svm *svm = to_svm(vcpu);  in sev_handle_vmgexit()  local
2974 int sev_es_string_io(struct vcpu_svm *svm, int size, unsigned int port, int in)  in sev_es_string_io()
2995 static void sev_es_vcpu_after_set_cpuid(struct vcpu_svm *svm)  in sev_es_vcpu_after_set_cpuid()
3026 void sev_vcpu_after_set_cpuid(struct vcpu_svm *svm)  in sev_vcpu_after_set_cpuid()
3040 static void sev_es_init_vmcb(struct vcpu_svm *svm)  in sev_es_init_vmcb()
3099 void sev_init_vmcb(struct vcpu_svm *svm)  in sev_init_vmcb()
3114 void sev_es_vcpu_reset(struct vcpu_svm *svm)  in sev_es_vcpu_reset()
3167 	struct vcpu_svm *svm = to_svm(vcpu);  in sev_vcpu_deliver_sipi_vector()  local