9 int kvm_hvc_call_handler(struct kvm_vcpu *vcpu);
11 static inline u32 smccc_get_function(struct kvm_vcpu *vcpu)  in smccc_get_function()  argument
13 	return vcpu_get_reg(vcpu, 0);  in smccc_get_function()
16 static inline unsigned long smccc_get_arg1(struct kvm_vcpu *vcpu)  in smccc_get_arg1()  argument
18 	return vcpu_get_reg(vcpu, 1);  in smccc_get_arg1()
21 static inline unsigned long smccc_get_arg2(struct kvm_vcpu *vcpu)  in smccc_get_arg2()  argument
23 	return vcpu_get_reg(vcpu, 2);  in smccc_get_arg2()
26 static inline unsigned long smccc_get_arg3(struct kvm_vcpu *vcpu)  in smccc_get_arg3()  argument
28 	return vcpu_get_reg(vcpu, 3);  in smccc_get_arg3()
31 static inline void smccc_set_retval(struct kvm_vcpu *vcpu,  in smccc_set_retval()  argument
37 	vcpu_set_reg(vcpu, 0, a0);  in smccc_set_retval()
38 	vcpu_set_reg(vcpu, 1, a1);  in smccc_set_retval()
39 	vcpu_set_reg(vcpu, 2, a2);  in smccc_set_retval()
40 	vcpu_set_reg(vcpu, 3, a3);  in smccc_set_retval()