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
52 		vcpu->arch.ctxt.spsr_abt = val;  in __vcpu_write_spsr_abt()
60 		vcpu->arch.ctxt.spsr_und = val;  in __vcpu_write_spsr_und()
66  * The EL passed to this function *must* be a non-secure, privileged mode with
74  * For the SPSR_ELx layout for AArch64, see ARM DDI 0487E.a page C5-429.
75  * For the SPSR_ELx layout for AArch32, see ARM DDI 0487E.a page C5-426.
118 	// TODO: TCO (if/when ARMv8.5-MemTag is exposed to guests)  in enter_exception64()
123 	// See ARM DDI 0487E.a, page D5-2579.  in enter_exception64()
126 	// SCTLR_ELx.SPAN is RES1 when ARMv8.1-PAN is not implemented  in enter_exception64()
127 	// See ARM DDI 0487E.a, page D5-2578.  in enter_exception64()
133 	// See ARM DDI 0487E.a, page D2-2452.  in enter_exception64()
136 	// See ARM DDI 0487E.a, page D1-2306.  in enter_exception64()
139 	// See ARM DDI 0487E.a, page D13-3258  in enter_exception64()
144 	// See ARM DDI 0487E.a, pages D1-2293 to D1-2294.  in enter_exception64()
166  * - ARM DDI 0406C.d, page B1-1148
167  * - ARM DDI 0487E.a, page G8-6264
170  * - ARM DDI 0487E.a, page C5-426
196 	// See ARM DDI 0487E.a, page G8-6244  in get_except32_cpsr()
201 	// SCTLR.SPAN is RES1 when ARMv8.1-PAN is not implemented  in get_except32_cpsr()
202 	// See ARM DDI 0487E.a, page G8-6246  in get_except32_cpsr()
210 	// See ARM DDI 0487E.a, page G1-5527  in get_except32_cpsr()
218 	// See ARM DDI 0487E.a, page G8-6245  in get_except32_cpsr()
219 	// See ARM DDI 0406C.d, page B4-1701  in get_except32_cpsr()
225 	// See ARM DDI 0487E.a, pages G1-5515 to G1-5516  in get_except32_cpsr()
226 	// See ARM DDI 0406C.d, page B1-1182  in get_except32_cpsr()
232 	// See ARM DDI 0487E.a, pages G1-5515 to G1-5516  in get_except32_cpsr()
233 	// See ARM DDI 0406C.d, page B1-1182  in get_except32_cpsr()
238 	// See ARM DDI 0487E.a, pages G1-5515 to G1-5516  in get_except32_cpsr()
239 	// See ARM DDI 0406C.d, page B1-1182  in get_except32_cpsr()
245 	// See ARM DDI 0487E.a, page G8-5514  in get_except32_cpsr()
246 	// See ARM DDI 0406C.d, page B1-1181  in get_except32_cpsr()
256  * Table taken from ARMv8 ARM DDI0487B-B, table G1-10.
284 		vcpu_gp_regs(vcpu)->compat_lr_abt = return_address;  in enter_exception32()
289 		vcpu_gp_regs(vcpu)->compat_lr_und = return_address;  in enter_exception32()
305 		switch (vcpu->arch.flags & KVM_ARM64_EXCEPT_MASK) {  in kvm_inject_exception()
320 		switch (vcpu->arch.flags & KVM_ARM64_EXCEPT_MASK) {  in kvm_inject_exception()