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_arm.h>
27 /* Witdth of the register accessed by the faulting instruction is 64-bits */
31 void kvm_mmio_write_buf(void *buf, unsigned int len, unsigned long data);
32 unsigned long kvm_mmio_read_buf(const void *buf, unsigned int len);
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__ */