552 static int sev_es_sync_vmsa(struct vcpu_svm *svm)  in sev_es_sync_vmsa()
602 	struct vcpu_svm *svm = to_svm(vcpu);  in __sev_launch_update_vmsa()  local
1990 static void sev_flush_guest_memory(struct vcpu_svm *svm, void *va,  in sev_flush_guest_memory()
2051 	struct vcpu_svm *svm;  in sev_free_vcpu()  local
2066 static void dump_ghcb(struct vcpu_svm *svm)  in dump_ghcb()
2091 static void sev_es_sync_to_ghcb(struct vcpu_svm *svm)  in sev_es_sync_to_ghcb()
2110 static void sev_es_sync_from_ghcb(struct vcpu_svm *svm)  in sev_es_sync_from_ghcb()
2155 static int sev_es_validate_vmgexit(struct vcpu_svm *svm)  in sev_es_validate_vmgexit()
2277 void sev_es_unmap_ghcb(struct vcpu_svm *svm)  in sev_es_unmap_ghcb()
2308 void pre_sev_run(struct vcpu_svm *svm, int cpu)  in pre_sev_run()
2332 static int setup_vmgexit_scratch(struct vcpu_svm *svm, bool sync, u64 len)  in setup_vmgexit_scratch()
2411 static void set_ghcb_msr_bits(struct vcpu_svm *svm, u64 value, u64 mask,  in set_ghcb_msr_bits()
2418 static u64 get_ghcb_msr_bits(struct vcpu_svm *svm, u64 mask, unsigned int pos)  in get_ghcb_msr_bits()
2423 static void set_ghcb_msr(struct vcpu_svm *svm, u64 value)  in set_ghcb_msr()
2428 static int sev_handle_vmgexit_msr_protocol(struct vcpu_svm *svm)  in sev_handle_vmgexit_msr_protocol()
2509 	struct vcpu_svm *svm = to_svm(vcpu);  in sev_handle_vmgexit()  local
2612 int sev_es_string_io(struct vcpu_svm *svm, int size, unsigned int port, int in)  in sev_es_string_io()
2632 void sev_es_init_vmcb(struct vcpu_svm *svm)  in sev_es_init_vmcb()
2677 void sev_es_create_vcpu(struct vcpu_svm *svm)  in sev_es_create_vcpu()
2688 void sev_es_prepare_guest_switch(struct vcpu_svm *svm, unsigned int cpu)  in sev_es_prepare_guest_switch()
2713 	struct vcpu_svm *svm = to_svm(vcpu);  in sev_vcpu_deliver_sipi_vector()  local