Searched refs:kdd_get_ctrl (Results 1 – 3 of 3) sorted by relevance
| /xen/tools/debugger/kdd/ |
| A D | kdd.h | 491 extern int kdd_get_ctrl(kdd_guest *g, int cpuid, kdd_ctrl *ctrl, int w64);
|
| A D | kdd.c | 315 if (kdd_get_ctrl(s->guest, cpuid, &ctrl, s->os.w64) != 0 in v2p()
604 ret = kdd_get_ctrl(s->guest, s->cpuid, &ctrl, s->os.w64); in get_os_info_64()
995 if (kdd_get_ctrl(s->guest, s->cpuid, &ctrl, s->os.w64)) { in kdd_handle_read_ctrl()
|
| A D | kdd-xen.c | 409 int kdd_get_ctrl(kdd_guest *g, int cpuid, kdd_ctrl *ctrl, int w64) in kdd_get_ctrl() function
|
Completed in 14 milliseconds