247 	long in0, in1, in2, in3;  in pal_proc_get_features()  local
249 	kvm_get_pal_call_data(vcpu, &in0, &in1, &in2, &in3);  in pal_proc_get_features()
260 	long in0, in1, in2, in3;  in pal_register_info()  local
262 	kvm_get_pal_call_data(vcpu, &in0, &in1, &in2, &in3);  in pal_register_info()
263 	result.status = ia64_pal_register_info(in1, &result.v1, &result.v2);  in pal_register_info()
273 	unsigned long in0, in1, in2, in3, r9, r10;  in pal_cache_info()  local
275 	kvm_get_pal_call_data(vcpu, &in0, &in1, &in2, &in3);  in pal_cache_info()
276 	status = ia64_pal_cache_config_info(in1, in2, &ci);  in pal_cache_info()
309 	unsigned long in0, in1, in2, in3;  in pal_vm_info()  local
311 	kvm_get_pal_call_data(vcpu, &in0, &in1, &in2, &in3);  in pal_vm_info()
313 	result.status = ia64_pal_vm_info(in1, in2,  in pal_vm_info()
340 	unsigned long in0, in1, in2, in3, r9;  in pal_perf_mon_info()  local
343 	kvm_get_pal_call_data(vcpu, &in0, &in1, &in2, &in3);  in pal_perf_mon_info()
349 		if (in1)  in pal_perf_mon_info()
350 			memcpy((void *)in1, pm_buffer, sizeof(pm_buffer));  in pal_perf_mon_info()
362 	unsigned long in0, in1, in2, in3;  in pal_halt_info()  local
367 	kvm_get_pal_call_data(vcpu, &in0, &in1, &in2, &in3);  in pal_halt_info()
368 	if (in1) {  in pal_halt_info()
369 		memcpy((void *)in1, &res, sizeof(res));  in pal_halt_info()
399 	unsigned long in0, in1, in2, in3;  in pal_prefetch_visibility()  local
400 	kvm_get_pal_call_data(vcpu, &in0, &in1, &in2, &in3);  in pal_prefetch_visibility()
401 	result.status = ia64_pal_prefetch_visibility(in1);  in pal_prefetch_visibility()
406 					(void *)in1, 1);  in pal_prefetch_visibility()
421 	unsigned long in0, in1, in2, in3;  in pal_get_brand_info()  local
423 	kvm_get_pal_call_data(vcpu, &in0, &in1, &in2, &in3);  in pal_get_brand_info()
425 	if (in1 == 0 && in2) {  in pal_get_brand_info()
555 				long index, unsigned long in1,  in sal_emulator()  argument
568 		status = ia64_sal_freq_base(in1, &r9, &r10);  in sal_emulator()
579 		if (in1 == SAL_VECTOR_OS_BOOT_RENDEZ) {  in sal_emulator()
589 							"ignored...\n", in1);  in sal_emulator()
618 			status = ia64_sal_cache_flush(in1);  in sal_emulator()
642 static void kvm_get_sal_call_data(struct kvm_vcpu *vcpu, u64 *in0, u64 *in1,  in kvm_get_sal_call_data()  argument
651 		*in1 = p->u.sal_data.in1;  in kvm_get_sal_call_data()
667 	u64 index, in1, in2, in3, in4, in5, in6, in7;  in kvm_sal_emul()  local
669 	kvm_get_sal_call_data(vcpu, &index, &in1, &in2,  in kvm_sal_emul()
671 	result = sal_emulator(vcpu->kvm, index, in1, in2, in3,  in kvm_sal_emul()