572 static int sev_es_sync_vmsa(struct vcpu_svm *svm)  in sev_es_sync_vmsa()
628 	struct vcpu_svm *svm = to_svm(vcpu);  in __sev_launch_update_vmsa()  local
2356 	struct vcpu_svm *svm;  in sev_free_vcpu()  local
2372 static void dump_ghcb(struct vcpu_svm *svm)  in dump_ghcb()
2397 static void sev_es_sync_to_ghcb(struct vcpu_svm *svm)  in sev_es_sync_to_ghcb()
2416 static void sev_es_sync_from_ghcb(struct vcpu_svm *svm)  in sev_es_sync_from_ghcb()
2470 static int sev_es_validate_vmgexit(struct vcpu_svm *svm)  in sev_es_validate_vmgexit()
2595 void sev_es_unmap_ghcb(struct vcpu_svm *svm)  in sev_es_unmap_ghcb()
2627 void pre_sev_run(struct vcpu_svm *svm, int cpu)  in pre_sev_run()
2651 static int setup_vmgexit_scratch(struct vcpu_svm *svm, bool sync, u64 len)  in setup_vmgexit_scratch()
2735 static void set_ghcb_msr_bits(struct vcpu_svm *svm, u64 value, u64 mask,  in set_ghcb_msr_bits()
2742 static u64 get_ghcb_msr_bits(struct vcpu_svm *svm, u64 mask, unsigned int pos)  in get_ghcb_msr_bits()
2747 static void set_ghcb_msr(struct vcpu_svm *svm, u64 value)  in set_ghcb_msr()
2752 static int sev_handle_vmgexit_msr_protocol(struct vcpu_svm *svm)  in sev_handle_vmgexit_msr_protocol()
2840 	struct vcpu_svm *svm = to_svm(vcpu);  in sev_handle_vmgexit()  local
2944 int sev_es_string_io(struct vcpu_svm *svm, int size, unsigned int port, int in)  in sev_es_string_io()
2965 static void sev_es_vcpu_after_set_cpuid(struct vcpu_svm *svm)  in sev_es_vcpu_after_set_cpuid()
2977 void sev_vcpu_after_set_cpuid(struct vcpu_svm *svm)  in sev_vcpu_after_set_cpuid()
2991 static void sev_es_init_vmcb(struct vcpu_svm *svm)  in sev_es_init_vmcb()
3055 void sev_init_vmcb(struct vcpu_svm *svm)  in sev_init_vmcb()
3070 void sev_es_vcpu_reset(struct vcpu_svm *svm)  in sev_es_vcpu_reset()
3123 	struct vcpu_svm *svm = to_svm(vcpu);  in sev_vcpu_deliver_sipi_vector()  local