Searched refs:kdd_rdmsr (Results 1 – 3 of 3) sorted by relevance
| /xen/tools/debugger/kdd/ |
| A D | kdd.h | 496 extern int kdd_rdmsr(kdd_guest *g, int cpuid, uint32_t msr, uint64_t *value);
|
| A D | kdd.c | 316 || 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 D | kdd-xen.c | 458 int kdd_rdmsr(kdd_guest *g, int cpuid, uint32_t msr, uint64_t *value) in kdd_rdmsr() function
|
Completed in 11 milliseconds