1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * Copyright (C) 2012 - Virtual Open Systems and Columbia University
4 * Author: Christoffer Dall <c.dall@virtualopensystems.com>
7 #ifndef __ARM_KVM_MMIO_H__
8 #define __ARM_KVM_MMIO_H__
10 #include <linux/kvm_host.h>
11 #include <asm/kvm_asm.h>
12 #include <asm/kvm_arm.h>
19 void kvm_mmio_write_buf(void *buf, unsigned int len, unsigned long data);
20 unsigned long kvm_mmio_read_buf(const void *buf, unsigned int len);
22 int kvm_handle_mmio_return(struct kvm_vcpu *vcpu, struct kvm_run *run);
23 int io_mem_abort(struct kvm_vcpu *vcpu, struct kvm_run *run,
24 phys_addr_t fault_ipa);
26 #endif /* __ARM_KVM_MMIO_H__ */