Searched refs:write_sr_to_cpu (Results 1 – 1 of 1) sorted by relevance
258 static void write_sr_to_cpu(enum vcpu_sysreg reg, u64 val) in write_sr_to_cpu() function382 write_sr_to_cpu(map_reg, xlated_val); in vcpu_write_sys_reg()