Searched refs:msr_value (Results 1 – 2 of 2) sorted by relevance
889 uint64_t msr_value) in vcpu_set_msr() argument902 buffer.entry.data = msr_value; in vcpu_set_msr()
326 uint64_t msr_value);