2 * Copyright (C) 2012 - Virtual Open Systems and Columbia University
3 * Author: Christoffer Dall <c.dall@virtualopensystems.com>
5 * This program is free software; you can redistribute it and/or modify
6 * it under the terms of the GNU General Public License, version 2, as
7 * published by the Free Software Foundation.
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
14 * You should have received a copy of the GNU General Public License
15 * along with this program. If not, see <http://www.gnu.org/licenses/>.
18 #ifndef __ARM64_KVM_MMIO_H__
19 #define __ARM64_KVM_MMIO_H__
21 #include <linux/kvm_host.h>
22 #include <asm/kvm_asm.h>
23 #include <asm/kvm_arm.h>
26 * This is annoying. The mmio code requires this, even if we don't
27 * need any decoding. To be fixed.
34 int kvm_handle_mmio_return(struct kvm_vcpu
*vcpu
, struct kvm_run
*run
);
35 int io_mem_abort(struct kvm_vcpu
*vcpu
, struct kvm_run
*run
,
36 phys_addr_t fault_ipa
);
38 #endif /* __ARM64_KVM_MMIO_H__ */