Home
last modified time | relevance | path

Searched defs:w64 (Results 1 – 2 of 2) sorted by relevance

/xen/tools/debugger/kdd/
A Dkdd-xen.c328 int kdd_get_regs(kdd_guest *g, int cpuid, kdd_regs *r, int w64) in kdd_get_regs()
346 int kdd_set_regs(kdd_guest *g, int cpuid, kdd_regs *r, int w64) in kdd_set_regs()
409 int kdd_get_ctrl(kdd_guest *g, int cpuid, kdd_ctrl *ctrl, int w64) in kdd_get_ctrl()
A Dkdd.c68 int w64; member

Completed in 10 milliseconds