Searched refs:__vcpu_write_sys_reg_to_cpu (Results 1 – 2 of 2) sorted by relevance
41 !__vcpu_write_sys_reg_to_cpu(val, reg)) in __vcpu_write_sys_reg()
254 WARN_ON(!__vcpu_write_sys_reg_to_cpu(val, el1r)); in vcpu_write_sys_reg()262 if (__vcpu_write_sys_reg_to_cpu(val, reg)) in vcpu_write_sys_reg()