71  * For the SPSR_ELx layout for AArch64, see ARM DDI 0487E.a page C5-429.
72  * For the SPSR_ELx layout for AArch32, see ARM DDI 0487E.a page C5-426.
121 	// See ARM DDI 0487E.a, page D5-2579.  in enter_exception64()
125 	// See ARM DDI 0487E.a, page D5-2578.  in enter_exception64()
131 	// See ARM DDI 0487E.a, page D2-2452.  in enter_exception64()
134 	// See ARM DDI 0487E.a, page D1-2306.  in enter_exception64()
137 	// See ARM DDI 0487E.a, page D13-3258  in enter_exception64()
142 	// See ARM DDI 0487E.a, pages D1-2293 to D1-2294.  in enter_exception64()
163  * For the SPSR layout seen from AArch32, see:
167  * For the SPSR_ELx layout for AArch32 seen from AArch64, see:
188 	// See ARM DDI 0487E.a, section G1.12.3  in get_except32_cpsr()
189 	// See ARM DDI 0406C.d, section B1.8.3  in get_except32_cpsr()
194 	// See ARM DDI 0487E.a, page G8-6244  in get_except32_cpsr()
200 	// See ARM DDI 0487E.a, page G8-6246  in get_except32_cpsr()
208 	// See ARM DDI 0487E.a, page G1-5527  in get_except32_cpsr()
213 	// See prior comment above  in get_except32_cpsr()
216 	// See ARM DDI 0487E.a, page G8-6245  in get_except32_cpsr()
217 	// See ARM DDI 0406C.d, page B4-1701  in get_except32_cpsr()
223 	// See ARM DDI 0487E.a, pages G1-5515 to G1-5516  in get_except32_cpsr()
224 	// See ARM DDI 0406C.d, page B1-1182  in get_except32_cpsr()
230 	// See ARM DDI 0487E.a, pages G1-5515 to G1-5516  in get_except32_cpsr()
231 	// See ARM DDI 0406C.d, page B1-1182  in get_except32_cpsr()
236 	// See ARM DDI 0487E.a, pages G1-5515 to G1-5516  in get_except32_cpsr()
237 	// See ARM DDI 0406C.d, page B1-1182  in get_except32_cpsr()
243 	// See ARM DDI 0487E.a, page G8-5514  in get_except32_cpsr()
244 	// See ARM DDI 0406C.d, page B1-1181  in get_except32_cpsr()