193 #define write_el1_ctx_common(ctx, reg, val)	((((ctx)->common).reg)	\  argument
194 							= (uint64_t) (val))
196 #define write_el1_ctx_common_sysreg128(ctx, reg, val)	((((ctx)->common).reg)	\  argument
197 							= (sysreg_t) (val))
200 #define write_el1_ctx_arch_timer(ctx, reg, val)	((((ctx)->arch_timer).reg)	\  argument
201 							= (uint64_t) (val))
205 #define write_el1_ctx_aarch32(ctx, reg, val)	((((ctx)->el1_aarch32).reg)	\  argument
206 							= (uint64_t) (val))
209 #define write_el1_ctx_aarch32(ctx, reg, val)  argument
214 #define write_el1_ctx_mte2(ctx, reg, val)	((((ctx)->mte2).reg)	\  argument
215 							= (uint64_t) (val))
218 #define write_el1_ctx_mte2(ctx, reg, val)  argument
223 #define write_el1_ctx_ras(ctx, reg, val)	((((ctx)->ras).reg)	\  argument
224 							= (uint64_t) (val))
227 #define write_el1_ctx_ras(ctx, reg, val)  argument
232 #define write_el1_ctx_s1pie(ctx, reg, val)	((((ctx)->s1pie).reg)	\  argument
233 							= (uint64_t) (val))
236 #define write_el1_ctx_s1pie(ctx, reg, val)  argument
241 #define write_el1_ctx_s1poe(ctx, reg, val)	((((ctx)->s1poe).reg)	\  argument
242 							= (uint64_t) (val))
245 #define write_el1_ctx_s1poe(ctx, reg, val)  argument
250 #define write_el1_ctx_s2poe(ctx, reg, val)	((((ctx)->s2poe).reg)	\  argument
251 							= (uint64_t) (val))
254 #define write_el1_ctx_s2poe(ctx, reg, val)  argument
259 #define write_el1_ctx_tcr2(ctx, reg, val)	((((ctx)->tcr2).reg)	\  argument
260 							= (uint64_t) (val))
263 #define write_el1_ctx_tcr2(ctx, reg, val)  argument
268 #define write_el1_ctx_trf(ctx, reg, val)	((((ctx)->trf).reg)	\  argument
269 							= (uint64_t) (val))
272 #define write_el1_ctx_trf(ctx, reg, val)  argument
277 #define write_el1_ctx_csv2_2(ctx, reg, val)	((((ctx)->csv2_2).reg)	\  argument
278 							= (uint64_t) (val))
281 #define write_el1_ctx_csv2_2(ctx, reg, val)  argument
286 #define write_el1_ctx_gcs(ctx, reg, val)	((((ctx)->gcs).reg)	\  argument
287 							= (uint64_t) (val))
290 #define write_el1_ctx_gcs(ctx, reg, val)  argument
295 #define write_el1_ctx_the_sysreg128(ctx, reg, val)	((((ctx)->the).reg)	\  argument
296 							= (sysreg_t) (val))
299 #define write_el1_ctx_the_sysreg128(ctx, reg, val)  argument
304 #define write_el1_ctx_sctlr2(ctx, reg, val)	((((ctx)->sctlr2).reg)	\  argument
305 							= (uint64_t) (val))
308 #define write_el1_ctx_sctlr2(ctx, reg, val)  argument
313 #define write_el1_ctx_ls64(ctx, reg, val)	((((ctx)->ls64).reg)	\  argument
314 							= (uint64_t) (val))
317 #define write_el1_ctx_ls64(ctx, reg, val)  argument