Home
last modified time | relevance | path

Searched refs:vcpucontext (Results 1 – 2 of 2) sorted by relevance

/Zephyr-latest/drivers/xen/dom0/
Ddomctl.c69 .u.vcpucontext.vcpu = 0, in xen_domctl_getvcpucontext()
72 set_xen_guest_handle(domctl.u.vcpucontext.ctxt, ctxt); in xen_domctl_getvcpucontext()
82 .u.vcpucontext.vcpu = 0, in xen_domctl_setvcpucontext()
85 set_xen_guest_handle(domctl.u.vcpucontext.ctxt, ctxt); in xen_domctl_setvcpucontext()
/Zephyr-latest/include/zephyr/xen/public/
Ddomctl.h501 struct xen_domctl_vcpucontext vcpucontext; member