86 		*el1r = el2;						\
93 		*el1r = el1;						\
98 				   unsigned int *el1r, u64 (**xlate)(u64))  in get_el2_to_el1_mapping()  argument
142 	unsigned int el1r;  in vcpu_read_sys_reg()  local
147 	if (unlikely(get_el2_to_el1_mapping(reg, &el1r, &xlate))) {  in vcpu_read_sys_reg()
155 		if (reg == el1r)  in vcpu_read_sys_reg()
167 		WARN_ON(!__vcpu_read_sys_reg_from_cpu(el1r, &val));  in vcpu_read_sys_reg()
185 	unsigned int el1r;  in vcpu_write_sys_reg()  local
190 	if (unlikely(get_el2_to_el1_mapping(reg, &el1r, &xlate))) {  in vcpu_write_sys_reg()
202 		if (reg == el1r)  in vcpu_write_sys_reg()
209 		WARN_ON(!__vcpu_write_sys_reg_to_cpu(val, el1r));  in vcpu_write_sys_reg()