Lines Matching +full:re +full:- +full:routed
1 // SPDX-License-Identifier: GPL-2.0-only
3 * Copyright (C) 2015 - ARM Ltd
9 #include <linux/arm-smccc.h>
25 #include <asm/debug-monitors.h>
47 * With VHE (HCR.E2H == 1), accesses to CPACR_EL1 are routed to in __activate_traps()
116 host_ctxt = &this_cpu_ptr(&kvm_host_data)->host_ctxt; in __kvm_vcpu_run_vhe()
117 host_ctxt->__hyp_running_vcpu = vcpu; in __kvm_vcpu_run_vhe()
118 guest_ctxt = &vcpu->arch.ctxt; in __kvm_vcpu_run_vhe()
133 __load_guest_stage2(vcpu->arch.hw_mmu); in __kvm_vcpu_run_vhe()
143 /* And we're baaack! */ in __kvm_vcpu_run_vhe()
152 if (vcpu->arch.flags & KVM_ARM64_FP_ENABLED) in __kvm_vcpu_run_vhe()
201 host_ctxt = &this_cpu_ptr(&kvm_host_data)->host_ctxt; in __hyp_call_panic()
202 vcpu = host_ctxt->__hyp_running_vcpu; in __hyp_call_panic()