Searched refs:vcpucontext (Results 1 – 5 of 5) sorted by relevance
/xen/xen/common/ |
A D | domctl.c | 420 unsigned int vcpu = op->u.vcpucontext.vcpu; in do_domctl() 428 if ( guest_handle_is_null(op->u.vcpucontext.ctxt) ) in do_domctl() 447 ret = copy_from_guest(c.nat, op->u.vcpucontext.ctxt, 1); in do_domctl() 450 guest_handle_cast(op->u.vcpucontext.ctxt, in do_domctl() 453 ret = copy_from_guest(c.nat, op->u.vcpucontext.ctxt, 1); in do_domctl() 666 if ( op->u.vcpucontext.vcpu >= d->max_vcpus || in do_domctl() 667 (v = d->vcpu[op->u.vcpucontext.vcpu]) == NULL || in do_domctl() 692 ret = copy_to_guest(op->u.vcpucontext.ctxt, c.nat, 1); in do_domctl() 694 ret = copy_to_guest(guest_handle_cast(op->u.vcpucontext.ctxt, in do_domctl() 697 ret = copy_to_guest(op->u.vcpucontext.ctxt, c.nat, 1); in do_domctl()
|
/xen/tools/debugger/gdbsx/xg/ |
A D | xg_main.c | 385 domctl.u.vcpucontext.vcpu = (uint16_t)which_vcpu; in _change_TF() 386 set_xen_guest_handle(domctl.u.vcpucontext.ctxt, &anyc.ctxt); in _change_TF() 681 domctl.u.vcpucontext.vcpu = (uint16_t)vcpu_id; in _get_vcpu_ctxt() 682 set_xen_guest_handle(domctl.u.vcpucontext.ctxt, &anycp->ctxt); in _get_vcpu_ctxt()
|
/xen/tools/libxc/ |
A D | xc_domain.c | 554 domctl.u.vcpucontext.vcpu = (uint16_t)vcpu; in xc_vcpu_getcontext() 555 set_xen_guest_handle(domctl.u.vcpucontext.ctxt, ctxt); in xc_vcpu_getcontext() 1387 domctl.u.vcpucontext.vcpu = vcpu; in xc_vcpu_setcontext() 1388 set_xen_guest_handle(domctl.u.vcpucontext.ctxt, ctxt); in xc_vcpu_setcontext()
|
/xen/xen/include/public/ |
A D | domctl.h | 1236 struct xen_domctl_vcpucontext vcpucontext; member
|
/xen/docs/specs/ |
A D | libxc-migration-stream.pandoc | 428 X86_PV_VCPU_BASIC XEN_DOMCTL_{get,set}vcpucontext
|
Completed in 16 milliseconds