Home
last modified time | relevance | path

Searched refs:kdd_wrmsr (Results 1 – 3 of 3) sorted by relevance

/xen-4.10.0-shim-comet/tools/debugger/kdd/
A Dkdd.h496 extern int kdd_wrmsr(kdd_guest *g, int cpuid, uint32_t msr, uint64_t value);
A Dkdd-xen.c430 int kdd_wrmsr(kdd_guest *g, int cpuid, uint32_t msr, uint64_t value) in kdd_wrmsr() function
A Dkdd.c731 ok = (kdd_wrmsr(s->guest, s->cpuid, msr, val) == 0); in kdd_handle_write_msr()

Completed in 8 milliseconds