Searched refs:xlated_val (Results 1 – 1 of 1) sorted by relevance
369 u64 xlated_val; in vcpu_write_sys_reg() local378 xlated_val = loc.xlate(val); in vcpu_write_sys_reg()380 xlated_val = val; in vcpu_write_sys_reg()382 write_sr_to_cpu(map_reg, xlated_val); in vcpu_write_sys_reg()