Home
last modified time | relevance | path

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

/xen/tools/debugger/kdd/
A Dkdd.h496 extern int kdd_rdmsr(kdd_guest *g, int cpuid, uint32_t msr, uint64_t *value);
A Dkdd.c316 || kdd_rdmsr(s->guest, cpuid, 0xc0000080, &efer) != 0) in v2p()
598 if (kdd_rdmsr(s->guest, s->cpuid, 0xc0000080, &efer) || !(efer & (1 << 8))) in get_os_info_64()
1055 ok = (kdd_rdmsr(s->guest, s->cpuid, msr, &val) == 0); in kdd_handle_read_msr()
A Dkdd-xen.c458 int kdd_rdmsr(kdd_guest *g, int cpuid, uint32_t msr, uint64_t *value) in kdd_rdmsr() function

Completed in 11 milliseconds