Lines Matching +full:armv8 +full:- +full:based
1 // SPDX-License-Identifier: GPL-2.0-only
5 * Copyright (C) 2012,2013 - ARM Ltd
8 * based on arch/arm/kvm/emulate.c
9 * Copyright (C) 2012 - Virtual Open Systems and Columbia University
23 * Table taken from ARMv8 ARM DDI0487B-B, table G1-10.
39 if (vcpu->arch.sysregs_loaded_on_cpu) { in pre_fault_synchronize()
65 * - ARM DDI 0406C.d, page B1-1148
66 * - ARM DDI 0487E.a, page G8-6264
69 * - ARM DDI 0487E.a, page C5-426
95 // See ARM DDI 0487E.a, page G8-6244 in get_except32_cpsr()
100 // SCTLR.SPAN is RES1 when ARMv8.1-PAN is not implemented in get_except32_cpsr()
101 // See ARM DDI 0487E.a, page G8-6246 in get_except32_cpsr()
109 // See ARM DDI 0487E.a, page G1-5527 in get_except32_cpsr()
117 // See ARM DDI 0487E.a, page G8-6245 in get_except32_cpsr()
118 // See ARM DDI 0406C.d, page B4-1701 in get_except32_cpsr()
124 // See ARM DDI 0487E.a, pages G1-5515 to G1-5516 in get_except32_cpsr()
125 // See ARM DDI 0406C.d, page B1-1182 in get_except32_cpsr()
131 // See ARM DDI 0487E.a, pages G1-5515 to G1-5516 in get_except32_cpsr()
132 // See ARM DDI 0406C.d, page B1-1182 in get_except32_cpsr()
137 // See ARM DDI 0487E.a, pages G1-5515 to G1-5516 in get_except32_cpsr()
138 // See ARM DDI 0406C.d, page B1-1182 in get_except32_cpsr()
144 // See ARM DDI 0487E.a, page G8-5514 in get_except32_cpsr()
145 // See ARM DDI 0406C.d, page B1-1181 in get_except32_cpsr()