Searched refs:msr_value (Results 1 – 2 of 2) sorted by relevance
114 uint64_t msr_value);
1293 uint64_t msr_value) in vcpu_set_msr() argument1306 buffer.entry.data = msr_value; in vcpu_set_msr()
