233 #define write_el2_ctx_common(ctx, reg, val)	((((ctx)->common).reg)	\  argument
234 							= (uint64_t) (val))
236 #define write_el2_ctx_common_sysreg128(ctx, reg, val)	((((ctx)->common).reg)	\  argument
237 							= (sysreg_t) (val))
241 #define write_el2_ctx_mte2(ctx, reg, val)	((((ctx)->mte2).reg)	\  argument
242 							= (uint64_t) (val))
245 #define write_el2_ctx_mte2(ctx, reg, val)  argument
250 #define write_el2_ctx_fgt(ctx, reg, val)	((((ctx)->fgt).reg)	\  argument
251 							= (uint64_t) (val))
254 #define write_el2_ctx_fgt(ctx, reg, val)  argument
259 #define write_el2_ctx_fgt2(ctx, reg, val)	((((ctx)->fgt2).reg)	\  argument
260 							= (uint64_t) (val))
263 #define write_el2_ctx_fgt2(ctx, reg, val)  argument
268 #define write_el2_ctx_ecv(ctx, reg, val)	((((ctx)->ecv).reg)	\  argument
269 							= (uint64_t) (val))
272 #define write_el2_ctx_ecv(ctx, reg, val)  argument
277 #define write_el2_ctx_vhe(ctx, reg, val)	((((ctx)->vhe).reg)	\  argument
278 							= (uint64_t) (val))
279 #define write_el2_ctx_vhe_sysreg128(ctx, reg, val)	((((ctx)->vhe).reg)	\  argument
280 							= (sysreg_t) (val))
283 #define write_el2_ctx_vhe(ctx, reg, val)  argument
284 #define write_el2_ctx_vhe_sysreg128(ctx, reg, val)  argument
289 #define write_el2_ctx_ras(ctx, reg, val)	((((ctx)->ras).reg)	\  argument
290 							= (uint64_t) (val))
293 #define write_el2_ctx_ras(ctx, reg, val)  argument
298 #define write_el2_ctx_neve(ctx, reg, val)	((((ctx)->neve).reg)	\  argument
299 							= (uint64_t) (val))
302 #define write_el2_ctx_neve(ctx, reg, val)  argument
307 #define write_el2_ctx_trf(ctx, reg, val)	((((ctx)->trf).reg)	\  argument
308 							= (uint64_t) (val))
311 #define write_el2_ctx_trf(ctx, reg, val)  argument
316 #define write_el2_ctx_csv2_2(ctx, reg, val)	((((ctx)->csv2).reg)	\  argument
317 							= (uint64_t) (val))
320 #define write_el2_ctx_csv2_2(ctx, reg, val)  argument
325 #define write_el2_ctx_hcx(ctx, reg, val)	((((ctx)->hcx).reg)	\  argument
326 							= (uint64_t) (val))
329 #define write_el2_ctx_hcx(ctx, reg, val)  argument
334 #define write_el2_ctx_tcr2(ctx, reg, val)	((((ctx)->tcr2).reg)	\  argument
335 							= (uint64_t) (val))
338 #define write_el2_ctx_tcr2(ctx, reg, val)  argument
343 #define write_el2_ctx_sxpoe(ctx, reg, val)	((((ctx)->sxpoe).reg)	\  argument
344 							= (uint64_t) (val))
347 #define write_el2_ctx_sxpoe(ctx, reg, val)  argument
352 #define write_el2_ctx_sxpie(ctx, reg, val)	((((ctx)->sxpie).reg)	\  argument
353 							= (uint64_t) (val))
356 #define write_el2_ctx_sxpie(ctx, reg, val)  argument
361 #define write_el2_ctx_s2pie(ctx, reg, val)	((((ctx)->s2pie).reg)	\  argument
362 							= (uint64_t) (val))
365 #define write_el2_ctx_s2pie(ctx, reg, val)  argument
370 #define write_el2_ctx_gcs(ctx, reg, val)	((((ctx)->gcs).reg)	\  argument
371 							= (uint64_t) (val))
374 #define write_el2_ctx_gcs(ctx, reg, val)  argument
379 #define write_el2_ctx_mpam(ctx, reg, val)	((((ctx)->mpam).reg)	\  argument
380 							= (uint64_t) (val))
383 #define write_el2_ctx_mpam(ctx, reg, val)  argument
388 #define write_el2_ctx_sctlr2(ctx, reg, val)	((((ctx)->sctlr2).reg)	\  argument
389 							= (uint64_t) (val))
392 #define write_el2_ctx_sctlr2(ctx, reg, val)  argument
397 #define write_el2_ctx_brbe(ctx, reg, val)	((((ctx)->brbe).reg)	\  argument
398 							= (uint64_t) (val))
401 #define write_el2_ctx_brbe(ctx, reg, val)  argument