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 __ARM64_KVM_MMIO_H__
8 #define __ARM64_KVM_MMIO_H__
10 #include <linux/kvm_host.h>
11 #include <asm/kvm_arm.h>
16 /* Witdth of the register accessed by the faulting instruction is 64-bits */
20 void kvm_mmio_write_buf(void *buf, unsigned int len, unsigned long data);
21 unsigned long kvm_mmio_read_buf(const void *buf, unsigned int len);
23 int kvm_handle_mmio_return(struct kvm_vcpu *vcpu, struct kvm_run *run);
24 int io_mem_abort(struct kvm_vcpu *vcpu, struct kvm_run *run,
25 phys_addr_t fault_ipa);
27 #endif /* __ARM64_KVM_MMIO_H__ */