Searched refs:kvm_vm_dead (Results 1 – 3 of 3) sorted by relevance
610 kvm_vm_dead(kvm); in kvm_vgic_map_resources()
1942 kvm_vm_dead(vcpu->kvm); in tdx_handle_ept_violation()
2087 kvm_vm_dead(source_kvm); in sev_vm_move_enc_context_from()