10db5e022SJames Morse /* SPDX-License-Identifier: GPL-2.0 */ 20db5e022SJames Morse /* Copyright (C) 2018 - Arm Ltd */ 30db5e022SJames Morse 40db5e022SJames Morse #ifndef __ARM64_KVM_RAS_H__ 50db5e022SJames Morse #define __ARM64_KVM_RAS_H__ 60db5e022SJames Morse 70db5e022SJames Morse #include <linux/types.h> 80db5e022SJames Morse 90db5e022SJames Morse int kvm_handle_guest_sea(phys_addr_t addr, unsigned int esr); 100db5e022SJames Morse 110db5e022SJames Morse #endif /* __ARM64_KVM_RAS_H__ */ 12