564 static int sev_es_sync_vmsa(struct vcpu_svm *svm)  in sev_es_sync_vmsa()
617 	struct vcpu_svm *svm = to_svm(vcpu);  in __sev_launch_update_vmsa()
1670 	struct vcpu_svm *dst_svm, *src_svm;  in sev_migrate_from()
2332 	struct vcpu_svm *svm;  in sev_free_vcpu()
2348 static void dump_ghcb(struct vcpu_svm *svm)  in dump_ghcb()
2373 static void sev_es_sync_to_ghcb(struct vcpu_svm *svm)  in sev_es_sync_to_ghcb()
2392 static void sev_es_sync_from_ghcb(struct vcpu_svm *svm)  in sev_es_sync_from_ghcb()
2437 static int sev_es_validate_vmgexit(struct vcpu_svm *svm)  in sev_es_validate_vmgexit()
2569 void sev_es_unmap_ghcb(struct vcpu_svm *svm)  in sev_es_unmap_ghcb()
2601 void pre_sev_run(struct vcpu_svm *svm, int cpu)  in pre_sev_run()
2625 static int setup_vmgexit_scratch(struct vcpu_svm *svm, bool sync, u64 len)  in setup_vmgexit_scratch()
2710 static void set_ghcb_msr_bits(struct vcpu_svm *svm, u64 value, u64 mask,  in set_ghcb_msr_bits()
2717 static u64 get_ghcb_msr_bits(struct vcpu_svm *svm, u64 mask, unsigned int pos)  in get_ghcb_msr_bits()
2722 static void set_ghcb_msr(struct vcpu_svm *svm, u64 value)  in set_ghcb_msr()
2727 static int sev_handle_vmgexit_msr_protocol(struct vcpu_svm *svm)  in sev_handle_vmgexit_msr_protocol()
2815 	struct vcpu_svm *svm = to_svm(vcpu);  in sev_handle_vmgexit()
2919 int sev_es_string_io(struct vcpu_svm *svm, int size, unsigned int port, int in)  in sev_es_string_io()
2940 static void sev_es_init_vmcb(struct vcpu_svm *svm)  in sev_es_init_vmcb()
2993 void sev_init_vmcb(struct vcpu_svm *svm)  in sev_init_vmcb()
3002 void sev_es_vcpu_reset(struct vcpu_svm *svm)  in sev_es_vcpu_reset()
3034 	struct vcpu_svm *svm = to_svm(vcpu);  in sev_vcpu_deliver_sipi_vector()