1 /* SPDX-License-Identifier: GPL-2.0 */ 2 /* Copyright (C) 2018 - Arm Ltd */ 3 4 #ifndef __ARM64_KVM_RAS_H__ 5 #define __ARM64_KVM_RAS_H__ 6 7 #include <linux/types.h> 8 9 int kvm_handle_guest_sea(phys_addr_t addr, unsigned int esr); 10 11 #endif /* __ARM64_KVM_RAS_H__ */ 12