Searched defs:__vcpu_write_sys_reg_to_cpu (Results 1 – 2 of 2) sorted by relevance
851 static inline bool __vcpu_write_sys_reg_to_cpu(u64 val, int reg) in __vcpu_write_sys_reg_to_cpu() function
108 static bool __vcpu_write_sys_reg_to_cpu(u64 val, int reg) in __vcpu_write_sys_reg_to_cpu() function