1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * Copyright (C) 2012,2013 - ARM Ltd
4 * Author: Marc Zyngier <marc.zyngier@arm.com>
6 * Derived from arch/arm/include/asm/kvm_coproc.h
7 * Copyright (C) 2012 Rusty Russell IBM Corporation
10 #ifndef __ARM64_KVM_COPROC_H__
11 #define __ARM64_KVM_COPROC_H__
13 #include <linux/kvm_host.h>
15 void kvm_reset_sys_regs(struct kvm_vcpu
*vcpu
);
17 struct kvm_sys_reg_table
{
18 const struct sys_reg_desc
*table
;
22 struct kvm_sys_reg_target_table
{
23 struct kvm_sys_reg_table table64
;
24 struct kvm_sys_reg_table table32
;
27 void kvm_register_target_sys_reg_table(unsigned int target
,
28 struct kvm_sys_reg_target_table
*table
);
30 int kvm_handle_cp14_load_store(struct kvm_vcpu
*vcpu
, struct kvm_run
*run
);
31 int kvm_handle_cp14_32(struct kvm_vcpu
*vcpu
, struct kvm_run
*run
);
32 int kvm_handle_cp14_64(struct kvm_vcpu
*vcpu
, struct kvm_run
*run
);
33 int kvm_handle_cp15_32(struct kvm_vcpu
*vcpu
, struct kvm_run
*run
);
34 int kvm_handle_cp15_64(struct kvm_vcpu
*vcpu
, struct kvm_run
*run
);
35 int kvm_handle_sys_reg(struct kvm_vcpu
*vcpu
, struct kvm_run
*run
);
37 #define kvm_coproc_table_init kvm_sys_reg_table_init
38 void kvm_sys_reg_table_init(void);
41 int kvm_arm_copy_sys_reg_indices(struct kvm_vcpu
*vcpu
, u64 __user
*uindices
);
42 int kvm_arm_sys_reg_get_reg(struct kvm_vcpu
*vcpu
, const struct kvm_one_reg
*);
43 int kvm_arm_sys_reg_set_reg(struct kvm_vcpu
*vcpu
, const struct kvm_one_reg
*);
44 unsigned long kvm_arm_num_sys_reg_descs(struct kvm_vcpu
*vcpu
);
46 #endif /* __ARM64_KVM_COPROC_H__ */