1 /* SPDX-License-Identifier: GPL-2.0 */
2 /* Copyright (C) 2019 Arm Ltd. */
3 
4 #ifndef __KVM_ARM_HYPERCALLS_H
5 #define __KVM_ARM_HYPERCALLS_H
6 
7 #include <asm/kvm_emulate.h>
8 
9 int kvm_hvc_call_handler(struct kvm_vcpu *vcpu);
10 
smccc_get_function(struct kvm_vcpu * vcpu)11 static inline u32 smccc_get_function(struct kvm_vcpu *vcpu)
12 {
13 	return vcpu_get_reg(vcpu, 0);
14 }
15 
smccc_get_arg1(struct kvm_vcpu * vcpu)16 static inline unsigned long smccc_get_arg1(struct kvm_vcpu *vcpu)
17 {
18 	return vcpu_get_reg(vcpu, 1);
19 }
20 
smccc_get_arg2(struct kvm_vcpu * vcpu)21 static inline unsigned long smccc_get_arg2(struct kvm_vcpu *vcpu)
22 {
23 	return vcpu_get_reg(vcpu, 2);
24 }
25 
smccc_get_arg3(struct kvm_vcpu * vcpu)26 static inline unsigned long smccc_get_arg3(struct kvm_vcpu *vcpu)
27 {
28 	return vcpu_get_reg(vcpu, 3);
29 }
30 
smccc_set_retval(struct kvm_vcpu * vcpu,unsigned long a0,unsigned long a1,unsigned long a2,unsigned long a3)31 static inline void smccc_set_retval(struct kvm_vcpu *vcpu,
32 				    unsigned long a0,
33 				    unsigned long a1,
34 				    unsigned long a2,
35 				    unsigned long a3)
36 {
37 	vcpu_set_reg(vcpu, 0, a0);
38 	vcpu_set_reg(vcpu, 1, a1);
39 	vcpu_set_reg(vcpu, 2, a2);
40 	vcpu_set_reg(vcpu, 3, a3);
41 }
42 
43 #endif
44