sev_free_decrypted_vmsa
sev_free_decrypted_vmsa(vcpu, save);
void sev_free_decrypted_vmsa(struct kvm_vcpu *vcpu, struct vmcb_save_area *vmsa);