1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 /* 3 * Copyright (C) 2024 Google LLC 4 * Author: Mostafa Saleh <smostafa@google.com> 5 */ 6 #ifndef __ARM64_KVM_NVHE_PVIOMMU_H__ 7 #define __ARM64_KVM_NVHE_PVIOMMU_H__ 8 9 #include <nvhe/pkvm.h> 10 11 bool kvm_handle_pviommu_hvc(struct kvm_vcpu *vcpu, u64 *exit_code); 12 void kvm_iommu_teardown_guest_domains(struct pkvm_hyp_vm *hyp_vm); 13 14 #endif /* __ARM64_KVM_NVHE_PVIOMMU_H__ */ 15