| svm.h (14e77332e74603efab8347c89d3cda447c3b97c9) | svm.h (16fdc1de169ee0a4e59a8c02244414ec7acd55c3) |
|---|---|
| 1// SPDX-License-Identifier: GPL-2.0-only 2/* 3 * Kernel-based Virtual Machine driver for Linux 4 * 5 * AMD SVM support 6 * 7 * Copyright (C) 2006 Qumranet, Inc. 8 * Copyright 2010 Red Hat, Inc. and/or its affiliates. --- 670 unchanged lines hidden (view full) --- 679void sev_es_vcpu_reset(struct vcpu_svm *svm); 680void sev_vcpu_deliver_sipi_vector(struct kvm_vcpu *vcpu, u8 vector); 681void sev_es_prepare_switch_to_guest(struct sev_es_save_area *hostsa); 682void sev_es_unmap_ghcb(struct vcpu_svm *svm); 683 684/* vmenter.S */ 685 686void __svm_sev_es_vcpu_run(unsigned long vmcb_pa); | 1// SPDX-License-Identifier: GPL-2.0-only 2/* 3 * Kernel-based Virtual Machine driver for Linux 4 * 5 * AMD SVM support 6 * 7 * Copyright (C) 2006 Qumranet, Inc. 8 * Copyright 2010 Red Hat, Inc. and/or its affiliates. --- 670 unchanged lines hidden (view full) --- 679void sev_es_vcpu_reset(struct vcpu_svm *svm); 680void sev_vcpu_deliver_sipi_vector(struct kvm_vcpu *vcpu, u8 vector); 681void sev_es_prepare_switch_to_guest(struct sev_es_save_area *hostsa); 682void sev_es_unmap_ghcb(struct vcpu_svm *svm); 683 684/* vmenter.S */ 685 686void __svm_sev_es_vcpu_run(unsigned long vmcb_pa); |
| 687void __svm_vcpu_run(unsigned long vmcb_pa, unsigned long *regs); | 687void __svm_vcpu_run(unsigned long vmcb_pa, struct vcpu_svm *svm); |
| 688 689#endif | 688 689#endif |