Lines Matching +full:cortex +full:- +full:a57
1 // SPDX-License-Identifier: GPL-2.0-only
3 * Copyright (C) 2012-2015 - ARM Ltd
7 #include <hyp/sysreg-sr.h>
55 * __vcpu_load_switch_sysregs - Load guest system registers to the physical CPU
67 struct kvm_cpu_context *guest_ctxt = &vcpu->arch.ctxt; in __vcpu_load_switch_sysregs()
70 host_ctxt = &this_cpu_ptr(&kvm_host_data)->host_ctxt; in __vcpu_load_switch_sysregs()
87 * We must restore the 32-bit state before the sysregs, thanks in __vcpu_load_switch_sysregs()
88 * to erratum #852523 (Cortex-A57) or #853709 (Cortex-A72). in __vcpu_load_switch_sysregs()
98 * __vcpu_put_switch_syregs - Restore host system registers to the physical CPU
110 struct kvm_cpu_context *guest_ctxt = &vcpu->arch.ctxt; in __vcpu_put_switch_sysregs()
113 host_ctxt = &this_cpu_ptr(&kvm_host_data)->host_ctxt; in __vcpu_put_switch_sysregs()