1/* SPDX-License-Identifier: GPL-2.0-only */
2/*
3 * Copyright (C) 2012,2013 - ARM Ltd
4 * Author: Marc Zyngier <marc.zyngier@arm.com>
5 *
6 * Derived from arch/arm/include/asm/kvm_coproc.h
7 * Copyright (C) 2012 Rusty Russell IBM Corporation
8 */
9
10#ifndef __ARM64_KVM_COPROC_H__
11#define __ARM64_KVM_COPROC_H__
12
13#include <linux/kvm_host.h>
14
15void kvm_reset_sys_regs(struct kvm_vcpu *vcpu);
16
17struct kvm_sys_reg_table {
18	const struct sys_reg_desc *table;
19	size_t num;
20};
21
22int kvm_handle_cp14_load_store(struct kvm_vcpu *vcpu);
23int kvm_handle_cp14_32(struct kvm_vcpu *vcpu);
24int kvm_handle_cp14_64(struct kvm_vcpu *vcpu);
25int kvm_handle_cp15_32(struct kvm_vcpu *vcpu);
26int kvm_handle_cp15_64(struct kvm_vcpu *vcpu);
27int kvm_handle_sys_reg(struct kvm_vcpu *vcpu);
28
29#define kvm_coproc_table_init kvm_sys_reg_table_init
30void kvm_sys_reg_table_init(void);
31
32struct kvm_one_reg;
33int kvm_arm_copy_sys_reg_indices(struct kvm_vcpu *vcpu, u64 __user *uindices);
34int kvm_arm_sys_reg_get_reg(struct kvm_vcpu *vcpu, const struct kvm_one_reg *);
35int kvm_arm_sys_reg_set_reg(struct kvm_vcpu *vcpu, const struct kvm_one_reg *);
36unsigned long kvm_arm_num_sys_reg_descs(struct kvm_vcpu *vcpu);
37
38#endif /* __ARM64_KVM_COPROC_H__ */
39