28 	cpu_reg(host_ctxt, 1) =  __kvm_vcpu_run(kern_hyp_va(vcpu));  in handle___kvm_vcpu_run()
68 	__kvm_timer_set_cntvoff(cpu_reg(host_ctxt, 1));  in handle___kvm_timer_set_cntvoff()
82 	cpu_reg(host_ctxt, 1) = __vgic_v3_get_gic_config();  in handle___vgic_v3_get_gic_config()
87 	cpu_reg(host_ctxt, 1) = __vgic_v3_read_vmcr();  in handle___vgic_v3_read_vmcr()
92 	__vgic_v3_write_vmcr(cpu_reg(host_ctxt, 1));  in handle___vgic_v3_write_vmcr()
102 	cpu_reg(host_ctxt, 1) = __kvm_get_mdcr_el2();  in handle___kvm_get_mdcr_el2()
132 	cpu_reg(host_ctxt, 1) = __pkvm_init(phys, size, nr_cpus, per_cpu_base,  in handle___pkvm_init()
140 	cpu_reg(host_ctxt, 1) = pkvm_cpu_set_vector(slot);  in handle___pkvm_cpu_set_vector()
147 	cpu_reg(host_ctxt, 1) = __pkvm_host_share_hyp(pfn);  in handle___pkvm_host_share_hyp()
154 	cpu_reg(host_ctxt, 1) = __pkvm_host_unshare_hyp(pfn);  in handle___pkvm_host_unshare_hyp()
179 	cpu_reg(host_ctxt, 1) = haddr;  in handle___pkvm_create_private_mapping()
184 	cpu_reg(host_ctxt, 1) = __pkvm_prot_finalize();  in handle___pkvm_prot_finalize()
252 	cpu_reg(host_ctxt, 0) = SMCCC_RET_SUCCESS;  in handle_host_hcall()
257 	cpu_reg(host_ctxt, 0) = SMCCC_RET_NOT_SUPPORTED;  in handle_host_hcall()