Searched refs:xlated_val (Results 1 – 1 of 1) sorted by relevance
406 u64 xlated_val; in vcpu_write_sys_reg() local415 xlated_val = loc.xlate(val); in vcpu_write_sys_reg()417 xlated_val = val; in vcpu_write_sys_reg()419 write_sr_to_cpu(map_reg, xlated_val); in vcpu_write_sys_reg()