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, write to the Free Software
16 * Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
19 #ifndef __ARM_KVM_MMIO_H__
20 #define __ARM_KVM_MMIO_H__
22 #include <linux/kvm_host.h>
23 #include <asm/kvm_asm.h>
24 #include <asm/kvm_arm.h>
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 /* __ARM_KVM_MMIO_H__ */