124 	uint64_t mask;  in modify_el1_ctx_regs()  local
128 		mask = DUMMY_CTX_VALUE;  in modify_el1_ctx_regs()
131 		mask = DEFAULT_CTX_VALUE;  in modify_el1_ctx_regs()
134 	modify_el1_common_regs(mask);  in modify_el1_ctx_regs()
135 	modify_el1_mte2_regs(mask);  in modify_el1_ctx_regs()
136 	modify_el1_ras_regs(mask);  in modify_el1_ctx_regs()
137 	modify_el1_s1pie_regs(mask);  in modify_el1_ctx_regs()
138 	modify_el1_s1poe_regs(mask);  in modify_el1_ctx_regs()
139 	modify_el1_s2poe_regs(mask);  in modify_el1_ctx_regs()
140 	modify_el1_tcr2_regs(mask);  in modify_el1_ctx_regs()
141 	modify_el1_trf_regs(mask);  in modify_el1_ctx_regs()
142 	modify_el1_gcs_regs(mask);  in modify_el1_ctx_regs()