250 #define read_ctx_reg(ctx, offset)	((ctx)->ctx_regs[(offset) >> DWORD_SHIFT])  argument
251 #define write_ctx_reg(ctx, offset, val)	(((ctx)->ctx_regs[(offset) >> DWORD_SHIFT]) \  argument
388 #define set_aapcs_args0(ctx, x0)				do {	\  argument
391 #define set_aapcs_args1(ctx, x0, x1)				do {	\  argument
395 #define set_aapcs_args2(ctx, x0, x1, x2)			do {	\  argument
399 #define set_aapcs_args3(ctx, x0, x1, x2, x3)			do {	\  argument
403 #define set_aapcs_args4(ctx, x0, x1, x2, x3, x4)		do {	\  argument
407 #define set_aapcs_args5(ctx, x0, x1, x2, x3, x4, x5)		do {	\  argument
411 #define set_aapcs_args6(ctx, x0, x1, x2, x3, x4, x5, x6)	do {	\  argument
415 #define set_aapcs_args7(ctx, x0, x1, x2, x3, x4, x5, x6, x7)	do {	\  argument
449 static inline void write_ctx_sctlr_el1_reg_errata(cpu_context_t *ctx, u_register_t val)  in write_ctx_sctlr_el1_reg_errata()
459 static inline void write_ctx_tcr_el1_reg_errata(cpu_context_t *ctx, u_register_t val)  in write_ctx_tcr_el1_reg_errata()
469 static inline u_register_t read_ctx_sctlr_el1_reg_errata(cpu_context_t *ctx)  in read_ctx_sctlr_el1_reg_errata()
479 static inline u_register_t read_ctx_tcr_el1_reg_errata(cpu_context_t *ctx)  in read_ctx_tcr_el1_reg_errata()