Searched refs:kdd_wrmsr (Results 1 – 3 of 3) sorted by relevance
496 extern int kdd_wrmsr(kdd_guest *g, int cpuid, uint32_t msr, uint64_t value);
430 int kdd_wrmsr(kdd_guest *g, int cpuid, uint32_t msr, uint64_t value) in kdd_wrmsr() function
731 ok = (kdd_wrmsr(s->guest, s->cpuid, msr, val) == 0); in kdd_handle_write_msr()
Completed in 8 milliseconds