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